Login / Signup
On the confluence of lambda-calculus with conditional rewriting
Frédéric Blanqui
Claude Kirchner
Colin Riba
Published in:
CoRR (2006)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
database query languages
query rewriting
program understanding
higher order
complex objects
conjunctive queries
databases
formal model