A FILTER MODEL FOR CONCURRENT LAMBDA-CALCULUS

Authors
DEZANICIANCAGLINI M DELIGUORO U PIPERNO A
Citation
M. Dezaniciancaglini et al., A FILTER MODEL FOR CONCURRENT LAMBDA-CALCULUS, SIAM journal on computing, 27(5), 1998, pp. 1376-1419
Citations number
69
Categorie Soggetti
Computer Science Theory & Methods",Mathematics,"Computer Science Theory & Methods",Mathematics
Journal title
SIAM journal on computing → ACNP
ISSN journal
00975397
Volume
27
Issue
5
Year of publication
1998
Pages
1376 - 1419
Database
ISI
SICI code
0097-5397(1998)27:5<1376:AFMFCL>2.0.ZU;2-3
Abstract
Type-free lazy lambda-calculus is enriched with angelic parallelism an d demonic nondeterminism. Call-by-name and call-by-value abstractions are considered and the operational semantics is stated in terms of a m ust convergence predicate. We introduce a type assignment system with intersection and union types, and we prove that the induced logical se mantics is fully abstract.