On the number of fixed points of a combinator in lambda calculus.

Benedetto Intrigila E. Biasone

Published in: Math. Struct. Comput. Sci. (2000)

Keyphrases

fixed point
database
knowledge base
lambda calculus
machine learning
knowledge representation
general purpose
dynamical systems