Term Rewriting and Lambda Calculus.

Jan Willem Klop

Published in: LICS (2012)

Keyphrases

term rewriting
lambda calculus
theorem proving
predicate calculus
theorem prover
programming language
operational semantics
rewrite systems
knuth bendix
first order logic
database query languages
complex objects
databases
higher order
high level
database technology