Effectful applicative similarity for call-by-name lambda calculi.

Ugo Dal Lago Francesco Gavazzo Ryo Tanaka

Published in: Theor. Comput. Sci. (2020)

Keyphrases

similarity measure
euclidean distance
similarity function
similarity measurement
fixed point
database
data sets
information retrieval
genetic algorithm
website
case study
pairwise
image retrieval
co occurrence
spatial relations