Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative.

Kristian Støvring

Published in: Log. Methods Comput. Sci. (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
theorem prover
reverse engineering
predicate logic