May and Must Convergencey in Concurrent Lambda-Calculus.

Fabio Alessi Mariangiola Dezani-Ciancaglini Ugo de'Liguoro

Published in: MFCS (1994)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
expressive power
formal model