Effectful Applicative Similarity for Call-by-Name Lambda Calculi.

Ugo Dal Lago Francesco Gavazzo Ryo Tanaka

Published in: ICTCS/CILC (2017)

Keyphrases

similarity measure
similarity measurement
distance measure
finding similar
similarity metrics
euclidean distance
website
fixed point
similarity assessment
co occurrence
neural network
information systems
dissimilarity measure
similarity metric
genetic algorithm
information retrieval
machine learning