Antonio Bucciarelli, Antonino Salibra  Home/Search
Context
Related
| dsi.unive.it/~salibra/T...bucciasali.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: dsi.unive.it/~salibr...papersnino (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A longstanding open problem in lambda-calculus, raised by G.Plotkin, is whether there exists a continuous model of the untyped lambda-calculus whose theory is exactly the beta-theory or the beta-eta-theory. A related question, raised recently by C.Berline, is whether, given a class of lambda-models, there is a minimal equational theory represented by it. (Update)
Active bibliography (related documents): More All
1.3: Towards Lambda Calculus Order-Incompleteness - Salibra (Correct)
1.0: A Continuum of Theories of Lambda Calculus Without Semantics - Antonino Salibra.. (2001) (Correct)
1.0: Topological Incompleteness and Order Incompleteness of the Lambda .. - Salibra (2001) (Correct)
Similar documents based on text: More All
0.4: The Lattice of Lambda Theories - Paper (2002) (Correct)
0.3: Modularity in Lambda Calculus - Salibra (1999) (Correct)
0.3: Degrees of Parallelism in the Continuous Type Hierarchy - BUCCIARELLI (1995) (Correct)
BibTeX entry: (Update)
@misc{ bucciarelli-minimal,
author = "Antonio Bucciarelli and Antonino Salibra",
title = "The Minimal Graph Model of Lambda Calculus",
url = "citeseer.ist.psu.edu/602322.html" }
Citations (may not include all citations):729 The lambda calculus: Its syntax and semantics (context) - Barendregt - 1984
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
109 Continuous lattices (context) - Scott - 1972
75 Annals of Pure and Applied Logic (context) - Abramsky - 1991
68 An extension of the basic functionality theory for the -cal.. (context) - Coppo, Dezani - 1980
36 Stable models of typed lambda-calculi (context) - Berry - 1978
27 Set-theoretical and other elementary models of the -calculu.. - Plotkin - 1993
13 From computation to foundations via functions and applicatio.. (context) - Berline - 2000
11 Set-theoretical models of -calculus: theories (context) - Longo - 1983
10 An abstract notion of application (context) - Di Gianantonio, Honsell - 1993
6 Filter models and easy terms - Alessi, Dezani et al. - 2001
5 Isomorphism and equational equivalence of continuous lambda .. (context) - Kerth - 1998
5 Omega can be anything it should not be (context) - Baeten, Boerboom - 1979
5 the construction of stable models of -calculus (context) - Kerth - 2001
4 Strong stability and the incompleteness of stable models of .. (context) - Bastonero, Gouy - 1999
4 An approximation theorem for topological -models and the to.. (context) - Honsell, Ronchi - 1992
3 Sixth Annual IEEE Symposium on Logic in Computer Science (context) - Bucciarelli, Ehrhard - 1991
2 Uncountable limits and the lambda calculus - Di Gianantonio, Honsell et al. - 1995
1 Topological incompleteness and order incompleteness of the l.. - Salibra - 2003
Documents on the same site (http://www.dsi.unive.it/~salibra/papersnino.html): More
Modularity in Lambda Calculus - Salibra (1999) (Correct)
On The Algebraic Models Of Lambda Calculus - Salibra (1997) (Correct)
Modularity in Lambda Calculus - Salibra (2000) (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