See this document in CiteSeerX!

Games Characterizing Levy-Longo Trees  (Make Corrections)  
C.-H. L. Ong P. Di Gianantonio Correct or update the information below. CiteSeer.IST uses the title and first author information to match indexed articles with citations. If the title is already correct then matching usually works (multiple hypotheses are used for the first author during initial indexing). All corrections are logged and reviewed. Malicious changes and other hacking attempts are specifically prohibited. Correct or update abstract, bibliography, summary, and homepage information. Title: Last name of first author: Full author list: C.-H. L. Ong, P. Di Gianantonio



  Home/Search   Context   Related

 
View or download:
dimi.uniud.it/~pietro/P...lltrees.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dimi.uniud.it/~pietro/Papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a simple strongly universal innocent game model for Levy-Longo trees i.e. every point in the model is the denotation of a unique Levy-Longo tree. The observational quotient of the model then gives a fully abstract and universal model of the Lazy Lambda Calculus. (Update)

Similar documents (at the sentence level):
50.8%:   Games Characterizing Levy-Longo Trees - Ong, Di Gianantonio   (Correct)

Active bibliography (related documents):   More   All
0.3:   The Fine Structure of Game Lambda Models - Di Gianantonio, Franco   (Correct)
0.3:   On full abstraction for PCF: I. Models, observables and the.. - Hyland, Ong   (Correct)
0.3:   Lazy Lambda Calculus: Theories, Models and Local Structure.. - Ong (1994)   (Correct)

Similar documents based on text:   More   All
0.4:   A Universal Innocent Game Model For The Böhm Tree Lambda Theory - Ker, Nickau, Ong   (Correct)
0.3:   More Universal Game Models of Untyped λ-Calculus: The .. - Ker, Nickau, Ong (1999)   (Correct)
0.3:   The Discriminating Power of Multiplicities in the Lambda-Calculus - Boudol, Laneve (1996)   (Correct)

BibTeX entry:   (Update)

@misc{ title-games,
  author = "C.-H. L. Ong P. Di Gianantonio Correct or update the information below.
    CiteSeer.IST uses the title and first author information to match indexed
    articles with citations. If the title is already correct then matching usually
    works (multiple hypotheses are used for the first author during initial
    indexing). All corrections are logged and reviewed. Malicious changes and
    other hacking attempts are specifically prohibited. Correct or update abstract
    and bibliography and summary and and homepage information. Title: Last name
    of first author: Full author list: C.-H. L. Ong and P. Di Gianantonio",
  title = "Games Characterizing Levy-Longo Trees",
  url = "citeseer.ist.psu.edu/605503.html" }
Citations (may not include all citations):
130   Full abstraction in the Lazy Lambda Calculus (context) - Abramsky, Ong - 1993
46   revised edition (context) - Barendregt, Calculus - 1984
28   Information and Computation (context) - Abramsky, Jagadeesan et al. - 2000
11   Set-theoretical models of lambda calculus: Theories (context) - Longo - 1983
7   A fully abstract and universal game model (context) - Hyland, Ong et al. - 2000
5   Game semantics for the untyped  -calculus (context) - Di Gianantonio, Franco et al. - 1999
5   Games and full abstraction for the Lazy Lambda Calculus - Abramsky, McCusker - 1995
5   An algebraic interpretation of equality in some models of th.. (context) - Levy - 1975
3   Innocent game models of untyped - calculus (context) - Ker, Nickau et al. - 2001
2   A universal innocent game model for the Bohm tree lambda th.. (context) - Ker, Nickau et al. - 1999
2   Game semantics for the Pure Lazy Lambda Calculus (context) - Di Gianantonio - 2001

Documents on the same site (http://www.dimi.uniud.it/~pietro/Papers/):   More
A Tour with Constructive Real Numbers - Ciaffaglione, Di Gianantonio   (Correct)
Game Semantics for the Pure Lazy λ-Calculus - Di Gianantonio   (Correct)
Structures for Multiplicative Cyclic Linear Logic: Deepness.. - Di Gianantonio (2004)   (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