Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries  Home/Search
Context
Related
| etl.go.jp/etl/etlclu/~f...TfT26Apr00.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: etl.go.jp/etl/etlclu/~fe...drafts (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):
73.8%: Intersection Types for λ-Trees - van Bakel, Barbanera.. (1999) (Correct)
29.6%: Types for Trees - van Bakel, Barbanera.. (Correct)
Active bibliography (related documents): More All
0.4: Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (1998) (Correct)
0.3: Böhm's Theorem for Böhm Trees - Dezani-Ciancaglini, Intrigila, al. (Correct)
0.2: From Böhm's Theorem to Observational Equivalences: an .. - Dezani-Ciancaglini.. (2001) (Correct)
Similar documents based on text: More All
0.8: Polymorphic Intersection Type Assignment for.. - van Bakel.. (2001) (Correct)
0.7: Characterising Strong Normalisation for Explicit.. - van Bakel.. (2002) (Correct)
0.5: Böhm's Theorem for Berarducci Trees - Dezani-Ciancaglini, Severi, de Vries (2000) (Correct)
BibTeX entry: (Update)
@misc{ bakel-intersection,
author = "Steffen van Bakel and Franco Barbanera and Mariangiola Dezani-Ciancaglini
and Fer-Jan de Vries",
title = "Intersection Types for λ-Trees",
url = "citeseer.ist.psu.edu/article/vanbakel00intersection.html" }
Citations (may not include all citations):214 Domains for denotational semantics (context) - Scott - 1982
210 Its syntax and semantics (context) - Barendregt, calculus - 1984
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
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Luke - 1993
109 Continuous lattices (context) - Scott - 1972
63 Principal type schemes and -calculus semantics (context) - Coppo, Dezani-Ciancaglini et al. - 1980
52 The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994
42 Extended type structures and filter lambda models (context) - Coppo, Dezani-Ciancaglini et al. - 1984
33 A syntactic characterization of the equality in some models .. (context) - Hyland - 1975
30 Algebras 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. - 1999
19 Information and Computation (context) - Boudol, strict et al. - 1994
18 Principal type schemes for the strict type assignment system - van Bakel - 1993
15 Theoretical Computer Science (context) - Kennaway, Klop et al. - 1997
11 Set-theoretical models of -calculus: theories (context) - Longo - 1983
11 The relation between computational and denotational properti.. (context) - Wadsworth - 1976
10 Infinite normal forms for the -calculus (context) - Nakajima - 1975
10 Characterization theorems for a filter lambda model (context) - della - 1982
7 Mariangiola Dezani-Ciancaglini (context) - Coppo - 1987
7 Bohm's theorem for Bohm trees (context) - Dezani-Ciancaglini, Intrigila et al. - 1998
7 Discrimination by parallel observers: the algorithm (context) - Dezani-Ciancaglini, Tiuryn et al. - 1999
4 Bohm's theorem for Berarducci trees (context) - Dezani-Ciancaglini, Severi et al. - 2000
4 Mariangiola Dezani-Ciancaglini (context) - Barbanera - 1998
4 Theoretical Computer Science (context) - Berarducci, Dezani-Ciancaglini et al. - 1999
4 A filter model for concurrent -calculus - Dezani-Ciancaglini, de'Liguoro et al. - 1998
4 An algebraic interpretation of the fiK-calculus (context) - Levy - 1976
2 Infinite -calculus and non-sensible models (context) - Berarducci - 1996
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