On the completeness of order-theoretic models of the lambda-calculus.

Furio Honsell Gordon D. Plotkin

Published in: Inf. Comput. (2009)

Keyphrases

lambda calculus
database
software engineering
programming language
database management systems
expressive power