Infinitary lambda calculus and discrimination of Berarducci trees.

Mariangiola Dezani-Ciancaglini Paula Severi Fer-Jan de Vries

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

Keyphrases

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