Login / Signup
Innocent game models of untyped lambda-calculus.
Andrew D. Ker
Hanno Nickau
C.-H. Luke Ong
Published in:
Theor. Comput. Sci. (2002)
Keyphrases
</>
lambda calculus
machine learning
knowledge base
database management systems