The weak lambda calculus as a reasonable machine.

Ugo Dal Lago Simone Martini

Published in: Theor. Comput. Sci. (2008)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
case study
high level
expressive power
formal model
program understanding