A Unified Approach to Type Theory Through a Refined lambda-Calculus.

Fairouz Kamareddine Rob Nederpelt

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

Keyphrases

lambda calculus
database query languages
programming language
higher order
predicate calculus
database
pairwise
knowledge representation
data warehouse
open source
relational model