On Undefined and Meaningless in Lambda Definability.

Fer-Jan de Vries

Published in: FSCD (2016)

Keyphrases

fixed point
sufficient conditions
propositional logic
dynamical systems
high quality
belief propagation
decision making
image segmentation
similarity measure
optimal solution
data analysis
expert systems
distributed systems
belief revision
lambda calculus