Categorical Semantics for Higher Order Polymorphic Lambda Calculus.
Robert A. G. SeelyPublished in: J. Symb. Log. (1987)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- type checking
- programming language
- higher order
- logic programming
- query language
- expressive power
- semantic network
- first order logic
- theorem proving
- complex objects
- formal model
- database systems
- relational algebra
- program understanding
- object oriented
- reverse engineering
- general purpose
- data model