A call-by-name lambda-calculus machine.

Jean-Louis Krivine

Published in: High. Order Symb. Comput. (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
database
natural language processing
complex objects