Skew confluence and the lambda calculus with letrec.

Zena M. Ariola Stefan Blom

Published in: Ann. Pure Appl. Log. (2002)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
higher order
query language