On the confluence of lambda-calculus with conditional rewriting.

Frédéric Blanqui Claude Kirchner Colin Riba

Published in: Theor. Comput. Sci. (2010)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
query rewriting
relational databases
conjunctive queries
type checking