Filter Models for a Parallel and Non Deterministic Lambda-Calculus.

Mariangiola Dezani-Ciancaglini Ugo de'Liguoro Adolfo Piperno

Published in: MFCS (1993)

Keyphrases

lambda calculus
artificial intelligence
database systems
complex objects