Uncountable Limits and the lambda Calculus.

Pietro Di Gianantonio Furio Honsell Gordon D. Plotkin

Published in: Nord. J. Comput. (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
database
data model