Lambda Types on the Lambda Calculus with Abbreviations

Ferruccio Guidi

Published in: CoRR (2006)

Keyphrases

lambda calculus
programming language
database query languages
program understanding
higher order
predicate calculus
database
complex objects