Sign in

Innocent game models of untyped lambda-calculus.

Andrew D. KerHanno NickauC.-H. Luke Ong
Published in: Theor. Comput. Sci. (2002)
Keyphrases
  • lambda calculus
  • machine learning
  • knowledge base
  • database management systems