Gödelization in the lambda calculus.

Published in: Inf. Process. Lett. (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
database
general purpose
user defined