Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.
Simona KasterovicSilvia GhilezanPublished in: J. Log. Comput. (2020)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- inference rules
- expressive power
- query language
- first order logic
- formal model
- complex objects
- database systems
- type checking
- relational algebra
- modal logic
- temporal logic
- relational model
- logic programming
- theorem proving
- predicate logic
- relational calculus
- general purpose
- data structure
- model checking
- higher order
- databases