Semantics of Typed Lambda-Calculus with Constructors
Barbara PetitPublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- complex objects
- formal model
- database systems
- logic programming
- expressive power
- relational algebra
- higher order
- type checking
- predicate logic
- query language
- description logics
- first order logic
- semantic network
- theorem proving
- conceptual model
- relational model
- query processing