From lambda-Calculus to Universal Algebra and Back.
Giulio ManzonettoAntonino SalibraPublished in: MFCS (2008)
Keyphrases
- lambda calculus
- database query languages
- programming language
- query language
- relational algebra
- data model
- type checking
- complex objects
- expressive power
- predicate calculus
- artificial intelligence
- software engineering
- abstract data types
- relational calculus
- object oriented
- aggregate functions
- expert systems
- natural language
- high level