Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.
Mark-Oliver StehrJosé MeseguerPublished in: Essays in Memory of Ole-Johan Dahl (2004)
Keyphrases
- higher order
- logical framework
- higher order logic
- lambda calculus
- inference rules
- epistemic logic
- expressive power
- reasoning tasks
- database query languages
- belief revision
- expert systems
- predicate calculus
- coalition logic
- normative systems
- type checking
- possibilistic logic
- first order logic
- logic programming
- knowledge representation
- pairwise