A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.

Tom Gundersen Willem Heijltjes Michel Parigot

Published in: LPAR (2013)

Keyphrases

lambda calculus
programming language
predicate calculus
theorem proving
database query languages
theorem prover
program understanding
higher order
complex objects
database
data structure
artificial intelligence
co occurrence