Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno  Home/Search
Context Related
| di.unito.it/~deligu/pub/DdLP98.ps.gz 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: di.unito.it/~deligu/pub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Type free lazy -calculus is enriched with angelic parallelism and demonic nondeterminism. Call-by-name and call-by-value abstractions are considered and the operational semantics is stated in terms of a must convergence predicate. We introduce a type assignment system with intersection and union types and we prove that the induced logical semantics is fully abstract. (Update)
Context of citations to this paper: More
.... Two terms have the same weak tree if and only if they have the same set of types in the type discipline with union and intersection of [13], as proved in [16] ffl Two terms have the same top tree if and only if they have the same set of types in a type assignment system with...
Cited by: More
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
Similar documents (at the sentence level):
74.6%: A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
Active bibliography (related documents): More All
1.5: A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
1.0: Filter Models for Conjunctive-Disjunctive.. - Dezani-Ciancaglini.. (Correct)
0.6: Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
Similar documents based on text: More All
0.2: Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
0.2: A Syntactical Analysis of Normalization - Khasidashvili, Piperno (Correct)
0.2: Expanding Extensional Polymorphism - Di Cosmo, Piperno (1995) (Correct)
Related documents from co-citation: More All
4: Infinite normal forms for the -calculus (context) - Nakajima - 1975
4: The relation between computational and denotational properties for Scott's D1-mo.. (context) - Wadsworth - 1976
4: Data types as lattices (context) - Scott - 1976
BibTeX entry: (Update)
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, and Adolfo Piperno. A filter model for concurrent -calculus. SIAM Journal of Computation, 27(5):1376--1419 (electronic), 1998. http://citeseer.ist.psu.edu/article/dezani-ciancaglini98filter.html More
@misc{ dezani-ciancaglini98filter,
author = "M. Dezani-Ciancaglini and U. de'Liguoro and A. Piperno",
title = "A filter model for concurrent -calculus",
text = "Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, and Adolfo Piperno. A filter
model for concurrent -calculus. SIAM Journal of Computation, 27(5):1376--1419
(electronic), 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/dezani-ciancaglini98filter.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
245 A Compendium of Continuous Lattices (context) - Gierz, Hoffmann et al. - 1980
218 The Mechanical Evaluation of Expressions (context) - Landin - 1964
137 A Filter Lambda Model and the Completeness of Type Assignmen.. (context) - Barendregt, Coppo et al. - 1983
130 Full Abstraction in the Lazy Lambda Calculus (context) - Abramsky, Ong - 1993
126 Cambridge University Press (context) - Johnstone, Spaces - 1982
119 FACILE: A Symmetric Integration of Concurrent and Functional.. (context) - Giacalone, Mishra et al. - 1989
118 Lambda Calculus Models of Programming Languages (context) - Morris - 1968
95 A Basis for a Mathematical Theory of Computation - McCarthy - 1963
66 Fully Abstract Models of Typed -calculi (context) - Milner - 1977
62 A Calculus of Higher-Order Communicating Systems (context) - Thomsen - 1989
47 Intersection and Union Types: Syntax and Semantics (context) - Barbanera, Dezani-Ciancaglini et al. - 1995
47 The Foundation of Mathematics (context) - Beth - 1965
41 Using Information Systems to Solve Recursive Domain Equation.. (context) - Larsen, Winskell - 1984
35 Complete Restrictions of the Intersection Type Discipline - van Bakel - 1992
33 A Calculus of Mobile Processes, Parts I and II (context) - Milner, Parrow et al. - 1992
31 What is a Model of the Lambda Calculus (context) - Meyer - 1982
29 Lambda-calculus Models and Extensionality (context) - Hindley, Longo - 1980
26 Non-Determinism in Functional Languages (context) - Soendergaard, Sestoft - 1992
26 Power Domains (context) - Smyth - 1978
26 The Discriminating Power of Multiplicities in the -calculus (context) - Boudol, Laneve - 1994
22 On Semantic Foundations for Applicative Multiprogramming (context) - Abramsky - 1983
21 Call-by-name, Call-by-value and the -calculus (context) - Plotkin - 1975
20 Research Topics in Functional Programming (context) - The, Calculus - 1989
20 Full Abstraction and the Context Lemma - Jim, Meyer
19 A Mathematical Semantics for a Non-deterministic Typed Lambd.. (context) - Ashcroft, Hennessy - 1980
14 Call-by-Value and Non-Determinism (context) - Sieber - 1993
14 The Semantics of Call-by-value and Call-by-name in a Non-Det.. (context) - Hennessy - 1980
14 Non-Determinism and Fully Abstract Models (context) - Astesiano, Costa - 1980
13 The Typed -Calculus with First-Class Processes (context) - Nielson - 1989
13 Type Preorders (context) - Alessi - 1994
13 Parametric Channels via Label Expressions in CCS (context) - Astesiano, Zucca - 1984
12 Set Theoretical Models of Lambda Calculus: Theory, Expansion.. (context) - Longo - 1983
11 Concurrent Lambda Calculus and a General Precongruence Theor.. (context) - Ong - 1992
11 The Lazy -calculus in a Concurrency Scenario (context) - Sangiorgi - 1992
9 Parallel Functions (context) - Calculus, Strict - 1994
9 The Simple Semantics for Coppo-Dezani-Sall'e Type Assignment (context) - Hindley - 1982
8 Extended Type Structures and Filter -models (context) - Coppo, Dezani-Ciancaglini et al. - 1984
8 Applicative Information Systems (context) - Coppo, Dezani-Ciancaglini et al. - 1983
8 May and Must Convergency in Concurrent -calculus (context) - Alessi, Dezani-Ciancaglini et al. - 1994
7 The Lazy -Calculus : an Investigation into the Foundations o.. (context) - Ong - 1988
6 Semantique Operationelle at Algebrique des Programmes Recurs.. (context) - Boudol - 1980
5 Non-Deterministic Extensions of Untyped -calculus (context) - de'Liguoro, Piperno - 1995
4 A Semantics for Static Type Inference in a Nondeterministic .. - Abadi - 1994
4 Springer-Verlag (context) - Domains, Semantics - 1982
4 Concurrent ML: Design, Application and Semantics - Reppy - 1993
3 of Pure and Appl (context) - Domain, Logical et al. - 1991
3 Springer-Verlag (context) - Operational, for et al. - 1990
2 and Comp (context) - Abstract, for et al. - 1994
2 Non-Deterministic Lazy -calculus versus -calculus (context) - Lavatelli - 1993
2 Springer-Verlag (context) - Fully, for et al. - 1994
2 A Powerdomain Primer (context) - Main - 1987
2 Los Alamitos (context) - Non-Determinism, Setting et al. - 1993
2 Testing Equivalence for Proceses (context) - De Nicola, Hennessy - 1984
1 A Type Theoretical Alternative to ISWIM, CUCH, OWHY (context) - Scott
1 Springer-Verlag (context) - Higher-order, their et al. - 1994
1 A Type Assignment System for Higher-order Communicating Proc.. (context) - Dezani-Ciancaglini, de'Liguoro et al. - 1994
1 Filter Models for a Parallel and Non-Deterministic -calculus (context) - Dezani-Ciancaglini, de'Liguoro et al. - 1993
Documents on the same site (http://www.di.unito.it/~deligu/pub/): More
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
PCF Definability via Kripke Logical Relations (after O'Hearn.. - de'Liguoro (1996) (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