On The Lambda Y Calculus.

Richard Statman

Published in: LICS (2002)

Keyphrases

lambda calculus
fixed point
real time
formal language
database
data mining
machine learning
information retrieval
artificial intelligence
image processing
learning environment
model checking
provably correct