A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus.
Matthew HennessyEdward A. AshcroftPublished in: Theor. Comput. Sci. (1980)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- complex objects
- logic programming
- expressive power
- database systems
- relational model
- relational algebra
- type checking
- program understanding
- formal model
- theorem proving
- database technology
- predicate logic
- higher order
- first order logic
- query language
- high level
- databases
- integrity constraints