Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries  Home/Search
Context
Related
| etl.go.jp/etl/etlclu/~ferjan...TforT.ps etl.go.jp/etl/divisions/~fer...TforT.ps lambda.di.unito.it/pub/dezan...tm.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: etl.go.jp/etl/etlclu/~f...reports (more) From: etl.go.jp/etl/etlclu/~f...reports (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper are the infinite (Update)
Similar documents (at the sentence level):
28.7%: Types for Trees - Barbanera, Dezani-Ciancaglini, al. (Correct)
13.8%: Intersection Types for λ-Trees - van Bakel, Barbanera.. (1999) (Correct)
7.5%: Infinite lambda-calculus and Types - Berarducci, Dezani-Ciancaglini (1998) (Correct)
Active bibliography (related documents): More All
1.2: Böhm's Theorem for Böhm Trees - Dezani-Ciancaglini, Intrigila, al. (Correct)
0.4: Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (1998) (Correct)
0.3: Discrimination by Parallel Observers: the Algorithm - Dezani-Ciancaglini, Tiuryn, .. (1998) (Correct)
Similar documents based on text: More All
0.4: Böhm's Theorem for Berarducci Trees - Dezani-Ciancaglini, Severi, de Vries (2000) (Correct)
0.4: Infinitary Lambda Calculus and Discrimination of.. - Dezani-Ciancaglini.. (2001) (Correct)
0.3: Meaningless Terms in Rewriting - Kennaway, van Oostrom, de Vries (1996) (Correct)
BibTeX entry: (Update)
@misc{ barbanera-types,
author = "Franco Barbanera and Mariangiola Dezani-Ciancaglini and Fer-Jan de Vries",
title = "Types for Trees",
url = "citeseer.ist.psu.edu/article/barbanera97types.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
130 Full Abstraction in the Lazy Lambda Calculus (context) - Abramsky, Ong - 1993
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 A Filter Model for Concurrent -calculi (context) - Dezani-Ciancaglini, de'Liguoro et al.
11 The Lazy -calculus in a Concurrency Scenario (context) - Sangiorgi - 1994
10 Characterization Theorems for a Filter Lambda Model (context) - Rocca - 1982
9 Discrimination by Parallel Observers (context) - Dezani-Ciancaglini, Tiuryn et al. - 1997
9 Type Theories, Normal Forms and D1 Lambda Models (context) - Coppo, Dezani-Ciancaglini et al. - 1987
6 Infinite Lambda-calculus and Non-sensible Models (context) - Berarducci - 1996
5 Filter Models for Conjunctive-Disjunctive -calculus (context) - Dezani-Ciancaglini, de'Liguoro et al. - 1996
5 Infinite Lambda-calculus and Types - Berarducci, Dezani-Ciancaglini
1 calculus and an Application of the Labelled -calculus (context) - L'evy - 1976
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