lambda-calculus, multiplicities, and the pi-calculus.
Gérard BoudolCosimo LanevePublished in: Proof, Language, and Interaction (2000)
Keyphrases
- lambda calculus
- database query languages
- programming language
- predicate calculus
- database systems
- higher order
- complex objects
- expressive power
- program understanding
- type checking
- query language
- relational model
- relational algebra
- databases
- software development
- software engineering
- relational databases
- artificial intelligence