Logic and Computation in a Lambda Calculus with Intersection and Union Types.

Daniel J. Dougherty Luigi Liquori

Published in: LPAR (Dakar) (2010)

Keyphrases

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