Gérard Boudol, Cosimo Laneve  Home/Search
Context Related
Links: DBLP | cs.unibo.it/pub/laneve/dpmlc.ps.gz cs.unibo.it/~laneve/papers/dpmlc.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/~laneve/html...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The -calculus with multiplicities is a refinement of the lazy -calculus where the argument in an application comes with a multiplicity, which is an upper bound to the number of its uses. This introduces potential deadlocks in the evaluation. We study the discriminating power of this calculus over the usual -terms. We prove in particular that the observational equivalence induced by contexts with multiplicities coincides with the equality of L'evyLongo trees associated with -terms. This is a... (Update)
Cited by: More
A Linearization of the Lambda-Calculus and Consequences - Kfoury (2000) (Correct)
Active bibliography (related documents): More All
0.8: λ-Calculus, Multiplicities and the π-Calculus - Boudol, Laneve (Correct)
0.8: lambda-Calculus, Multiplicities and the pi-Calculus - Boudol, al. (1995) (Correct)
0.4: Lazy Lambda Calculus: Theories, Models and Local Structure.. - Ong (1994) (Correct)
Similar documents based on text: More All
0.5: The Discriminating Power of Multiplicities in the Lambda-Calculus - Boudol, Laneve (1994) (Correct)
0.4: Structures for Lazy Semantics - Bastonero, Pravato, Rocca (1997) (Correct)
0.3: Games Characterizing Levy-Longo Trees - Ong, Di Gianantonio (Correct)
Related documents from co-citation: More All
3: New Notions of Reduction and Non-Semantic Proofs of Beta Strong Normalization in.. - Kfoury, Wells - 1995
2: Typing the Use of Resources in a Concurrent Calculus (context) - Boudol - 1997
2: A type assignment for the strongly normalizable -terms (context) - Pottinger - 1980
BibTeX entry: (Update)
Boudol, G., and Lavatelli, C., "The Discriminating Power of Multiplicities in the Lambda-Calculus", Information and Computation, Vol. 126, No. 1 (1996), pp 83-102. http://citeseer.ist.psu.edu/article/boudol96discriminating.html More
@article{ boudol96discriminating,
author = "Gerard Boudol and Cosimo Laneve",
title = "The Discriminating Power of Multiplicities in the Lambda-Calculus",
journal = "Information and Computation",
volume = "126",
number = "1",
pages = "83-102",
year = "1996",
url = "citeseer.ist.psu.edu/article/boudol96discriminating.html" }
Citations (may not include all citations):137 Journal of Functional Programming (context) - Abadi, Cardelli et al. - 1991
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Ong - 1993 ACM DBLP
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
89 The Lambda Calculus (context) - Barendregt - 1985
66 Fully abstract models of typed -calculi (context) - Milner - 1977
59 The relation between computational and denotational properti.. (context) - Wadsworth - 1976
52 The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994 ACM DBLP
42 The Lazy Lambda Calculus: an Investigation into the Foundati.. (context) - Ong - 1988
41 R'eductions Correctes et Optimales dans le Lambda Calcul (context) - L'evy - 1978
26 The discriminating power of multiplicities in the -calculus (context) - Boudol, Laneve - 1994
19 Information and Computation (context) - Boudol, strict et al. - 1994 DBLP
11 Set theoretical models of lambda calculus: Theories (context) - Longo - 1983
9 A Lambda Calculus for Parallel Functions (context) - Boudol - 1990
8 An algebraic interpretation of the fiK-calculus; and an appl.. (context) - L'evy - 1976
3 models and local structure characterization (context) - Ong, calculus - 1992
3 deadlock and divergence in the -calculus with multiplicities (context) - Boudol, Laneve - 1995
Documents on the same site (http://www.cs.unibo.it/~laneve/html/papers.html): More
Interaction Systems - Asperti, Laneve (1993) (Correct)
Mobility in the Cc-Paradigm - Laneve, Montanari (1992) (Correct)
λ-Calculus, Multiplicities and the π-Calculus - Boudol, Laneve (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC