Franco Barbanera, Mariangiola Dezani-Ciancaglini, et al.  Home/Search
Context
Related
| di.unito.it/~dezani/papers/3.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/~dezani/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (Bohm trees, Levy-Longo trees, ...). Then we prove, in an (almost) uniform way, that each type assignment system fully describes the observational equivalences induced by the corresponding tree representation of terms. More precisely, for each family of trees two terms have the same tree if and only if they get assigned the same types in the corresponding type... (Update)
Similar documents (at the sentence level):
37.9%: Types for Trees - Barbanera, Dezani-Ciancaglini, de.. (1997) (Correct)
25.4%: Intersection Types for λ-Trees - van Bakel, Barbanera.. (1999) (Correct)
Active bibliography (related documents): More All
0.6: Böhm's Theorem for Böhm Trees - Dezani-Ciancaglini, Intrigila, al. (Correct)
0.3: Discrimination by Parallel Observers - Mariangiola Dezani-Ciancaglini.. (Correct)
0.3: Infinite lambda-calculus and Types - Berarducci, Dezani-Ciancaglini (1998) (Correct)
Similar documents based on text: More All
0.4: Principal Typing for Parallel and non-Deterministic .. - Aoun, Barbanera.. (1997) (Correct)
0.4: Infinitary Lambda Calculus and Discrimination of.. - Dezani-Ciancaglini.. (2001) (Correct)
BibTeX entry: (Update)
@misc{ barbanera-types,
author = "Franco Barbanera and Mariangiola Dezani-Ciancaglini and et al.",
title = "Types for Trees",
url = "citeseer.ist.psu.edu/724488.html" }
Citations (may not include all citations):729 The Lambda Calculus Its Syntax and Semantics (context) - Barendregt - 1984
214 Domains for Denotational Semantics (context) - Scott - 1982
162 Data Types as Lattices (context) - Scott - 1976
137 A Filter Lambda Model and the Completeness of Type Assignmen.. (context) - Barendregt, Coppo et al. - 1983
121 Intensional Interpretation of Functionals of Finite Types (context) - Tait - 1967
109 Continuous Lattices (context) - Scott - 1972
75 Domain Theory in Logical Form (context) - Abramsky - 1991
71 Transfinite Reductions in Orthogonal Term Rewriting Systems - Kennaway, Klop et al. - 1995
63 Principal Type Schemes and -calculus Semantics (context) - Coppo, Dezani-Ciancaglini et al. - 1980
59 The Relation between Computational and Denotational Properti.. (context) - Wadsworth - 1976
42 Extended Type Structures and Filter Lambda Models (context) - Coppo, Dezani-Ciancaglini et al. - 1983
33 A Syntactic Characterization of the Equality in Some Models .. (context) - Hyland - 1976
30 Algebra and Combinators (context) - Engeler - 1981
26 The Discriminating Power of Multiplicities in the -calculus (context) - Boudol, Laneve - 1996
23 Meaningless Terms in Rewriting - Kennaway, van Oostrom et al. - 1996
14 Infinitary Lambda Calculus - Kennaway, Klop et al. - 1997
14 A Lambda Calculus for (Strict) Parallel Functions (context) - Boudol - 1994
13 Type Preorders (context) - Alessi - 1994
12 Set Theoretical Models of Lambda Calculus: Theory, Expansion.. (context) - Longo - 1983
11 The Lazy -calculus in a Concurrency Scenario (context) - Sangiorgi - 1994
10 Infinite normal forms for the -calculus (context) - Nakajima - 1982
10 Full Abstraction in the Lazy -Calculus (context) - Abramsky, Ong - 1993
9 Type Theories, Normal Forms and D1 Lambda Models (context) - Coppo, Dezani-Ciancaglini et al. - 1987
3 An Algebraic Interpretation of the \Gamma fi \Gamma K-calcul.. (context) - Levy - 1976
3 A Filter Model for Concurrent -calculi (context) - Dezani-Ciancaglini, de'Liguoro et al. - 1997
2 BIOGRAPHY FRANCO BARBANERA was born in Latina (context) - BARBANERA, in et al. - 1992
2 Infinite Lambda-calculusand Non-sensible Models (context) - Berarducci - 1996
1 After a six year stay at CWI in Amsterdam he went to Japan a.. (context) - received, Ph et al. - 1989
1 Filter Models for ConjunctiveDisjunctive -calculus (context) - Dezani-Ciancaglini, de'Liguoro et al. - 1996
1 Formal Description of Programming Concepts (context) - was, Torino et al. - 1981
Documents on the same site (http://www.di.unito.it/~dezani/papers/): More
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
Type Preorders and Recursive Terms - Alessi, Dezani-Ciancaglini (2004) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (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