On the confluence of lambda-calculus with conditional rewriting

Frédéric Blanqui Claude Kirchner Colin Riba

Published in: CoRR (2011)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
conjunctive queries
program understanding
database
relational databases
complex objects
knowledge representation
natural language processing
query rewriting