A typed lambda calculus with intersection types.

Viviana Bono Betti Venneri Lorenzo Bettini

Published in: Theor. Comput. Sci. (2008)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
artificial intelligence
complex objects
program understanding
general purpose