The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus.

Simona Kasterovic Michele Pagani

Published in: FSCD (2019)

Keyphrases

discriminating power
lambda calculus
programming language
feature space
bayesian networks
recognition accuracy
predicate calculus
probabilistic model
higher order
generative model
medical image retrieval
database query languages
face recognition
predicate logic