On Constructor Rewrite Systems and the Lambda-Calculus

Ugo Dal Lago Simone Martini

Published in: CoRR (2009)

Keyphrases

lambda calculus
rewrite systems
term rewriting
programming language
predicate calculus
active rules
theorem proving
database query languages
higher order
program understanding
formal model
high level
first order logic
complex objects
predicate logic