The Semantics of Second Order Polymorphic Lambda Calculus.

Kim B. Bruce Albert R. Meyer

Published in: Semantics of Data Types (1984)

Keyphrases

lambda calculus
database query languages
predicate calculus
type checking
higher order
programming language
complex objects
data types
predicate logic
semantic network
logic programming
query language
expressive power
database
database systems
databases
first order logic
relational model
data sources