(lambda).

Published in: Math. Log. Q. (2003)

Keyphrases

fixed point
lambda calculus
machine learning
computational complexity
natural language processing
general purpose
higher order