Extending the Lambda Calculus with Surjective Pairing is Conservative

Roel C. de Vrijer

Published in: LICS (1989)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
complex objects
first order logic
artificial intelligence
database query languages