The Cost of Usage in the Lambda-Calculus.

Andrea Asperti Jean-Jacques Lévy

Published in: LICS (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
data model
database management systems
program understanding
database query languages