Categorical semantics of the call-by-value lambda-calculus.
Alberto PravatoSimona Ronchi Della RoccaLuca RoversiPublished in: TLCA (1995)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- first order logic
- database systems
- logic programming
- semantic network
- program understanding
- data model
- query language
- expressive power
- theorem proving
- software engineering
- relational databases
- database
- complex objects
- relational model
- expert systems
- high level