Confluence of the coinductive [lambda]-calculus.

Felix Joachimski

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
high level
general purpose
fault diagnosis