A Continuum of Theories of Lambda Calculus without Semantics.

Antonino Salibra

Published in: LICS (2001)

Keyphrases

lambda calculus
database query languages
predicate calculus
programming language
complex objects
query language
logic programming
expressive power
database systems
first order logic
formal model
data model
relational algebra
predicate logic
relational model
program understanding
semantic network
conceptual model