Gödelization in the Untyped lambda-Calculus.

Torben Æ. Mogensen

Published in: PEPM (1999)

Keyphrases

higher order
lambda calculus
pairwise
programming language
predicate calculus
model checking
database query languages