A Nominal Axiomatization of the Lambda Calculus.

Murdoch James Gabbay Aad Mathijssen

Published in: J. Log. Comput. (2010)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
complex objects
higher order
database query languages
case study