Conservativity of Equational Theories in Typed Lambda Calculi.
Val TannenAlbert R. MeyerPublished in: Fundam. Informaticae (1993)
Keyphrases
- equational theories
- lambda calculus
- theorem proving
- predicate calculus
- programming language
- higher order
- sequent calculi
- fixed point
- spatial relations
- qualitative spatial and temporal reasoning
- vague concepts
- database query languages
- function symbols
- databases
- high level
- first order logic
- software engineering
- probabilistic model
- database systems
- machine learning