Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi.

Matthias Mann Manfred Schmidt-Schauß

Published in: Inf. Comput. (2010)

Keyphrases

intra class
similarity measure
distance measure
multi class classification
data sets
distance function
probability measure
user defined