Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries  Home/Search
Context
Related
| di.unito.it/~dezani/pape...cats00.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 propose an extension of lambda calculus which internally discriminates two lambda terms if and only if they have different Berarducci trees. (Update)
Similar documents (at the sentence level):
49.8%: Böhm's Theorem for Berarducci Trees - Dezani-Ciancaglini, Severi, de Vries (2000) (Correct)
7.2%: Infinitary Lambda Calculus and Discrimination of.. - Dezani-Ciancaglini.. (2001) (Correct)
Active bibliography (related documents): More All
1.0: Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
0.7: From Böhm's Theorem to Observational Equivalences: an .. - Dezani-Ciancaglini.. (2001) (Correct)
0.5: A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
Similar documents based on text: More All
0.3: A Lambda Model Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (Correct)
0.3: Types for Trees - Barbanera, Dezani-Ciancaglini, al. (Correct)
0.3: Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ dezani-ciancaglini-bhms,
author = "Mariangiola Dezani-Ciancaglini and Paula Severi and Fer-Jan de Vries",
title = "Böhm's Theorem for Berarducci Trees",
url = "citeseer.ist.psu.edu/dezani-ciancaglini00bhms.html" }
Citations (may not include all citations):729 The lambda calculus Its syntax and semantics (context) - Barendregt - 1984
306 LCF considered as a programming language (context) - Plotkin - 1977
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Ong - 1993
118 Lambda calculus models of programming languages (context) - Morris - 1968
71 Transfinite reductions in orthogonal term rewriting systems - Kennaway, Klop et al. - 1995
67 Terminal coalgebras in well-founded set theory (context) - Barr - 1993
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
51 Bulletin of EATCS (context) - Jacobs, Rutten et al. - 1997
50 Domains and lambda-calculi (context) - Amadio, Curien - 1998
33 A syntactic characterization of the equality in some models .. (context) - Hyland - 1975
26 The discriminating power of multiplicities in the -calculus (context) - Boudol, Laneve - 1996
23 Meaningless terms in rewriting - Kennaway, Oostrom et al. - 1999
14 Infinitary lambda calculus - Kennaway, Klop et al. - 1997
11 Infinite -calculus and non-sensible models (context) - Berarducci - 1994
11 Set-theoretical models of -calculus: theories (context) - Longo - 1983
9 parallel functions (context) - Boudol, strict - 1994
7 Dezani-Ciancaglini (context) - Barbanera - 1998
3 Discrimination by parallel observers: the algorithm (context) - Dezani-Ciancaglini, Tiuryn et al. - 1999
3 CSLI Lecture Notes Number (context) - Barwise, Moss - 1996
2 A filter model for concurrent -calculus (context) - Dezani-Ciancaglini, de'Liguoro et al. - 1998
2 To appear as chapter in a book on rewriting edited by J (context) - Kennaway, Vries - 2000
2 Bohm's theorem for Bohm trees (context) - Dezani-Ciancaglini, Intrigila et al. - 1998
2 bisimulations and observations in lambda calculus (context) - Vries - 1997
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