Towards a Proof Theory of Rewriting: The Simply Typed 2lambda-Calculus.
Barney P. HilkenPublished in: Theor. Comput. Sci. (1996)
Keyphrases
- lambda calculus
- proof theory
- default reasoning
- programming language
- predicate calculus
- automated reasoning
- database query languages
- program understanding
- complex objects
- reasoning problems
- higher order
- theorem proving
- conjunctive queries
- data structure
- database
- query rewriting
- partial order
- integrity constraints
- np complete
- knowledge representation