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

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno

Browse the full MFCS paper archive.