On Functors Expressible in the Polymorphic Typed Lambda Calculus

John C. Reynolds Gordon D. Plotkin

Published in: Inf. Comput. (1993)

Keyphrases

lambda calculus
programming language
database query languages
type checking
predicate calculus
transitive closure
complex objects
first order logic
program understanding
expressive power
higher order
artificial intelligence
query language
software maintenance
databases
data types
relational databases