Games characterizing Levy-Longo trees

被引：0
|
作者：
Ong, CHL
Di Gianantonio, P
机构：
[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England
[2] Univ Udine, Dipartimento Matemat & Informat, I-33100 Udine, Italy
来源：
AUTOMATA, LANGUAGES AND PROGRAMMING | 2002年 / 2380卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 universal, and hence fully abstract, model of the pure Lazy Lambda Calculus.
引用
收藏
页码：476 / 487
页数：12
相关论文
共 50 条
  • [1] Games characterizing Levy-Longo trees
    Ong, CHL
    Di Gianantonio, P
    THEORETICAL COMPUTER SCIENCE, 2004, 312 (01) : 121 - 142
  • [2] Growth of Levy trees
    Duquesne, Thomas
    Winkel, Matthias
    PROBABILITY THEORY AND RELATED FIELDS, 2007, 139 (3-4) : 313 - 371
  • [3] RANDOM TREES AND LEVY PROCESSES
    LEGALL, JF
    LEJAN, Y
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1995, 321 (09): : 1241 - 1244
  • [4] Characterizing monotone games
    Anne-Christine Barthel
    Eric Hoffmann
    Economic Theory, 2020, 70 : 1045 - 1068
  • [5] Characterizing Online Games
    Chambers, Chris
    Feng, Wu-Chang
    Sahu, Sambit
    Saha, Debanjan
    Brandt, David
    IEEE-ACM TRANSACTIONS ON NETWORKING, 2010, 18 (03) : 899 - 910
  • [6] Characterizing monotone games
    Barthel, Anne-Christine
    Hoffmann, Eric
    ECONOMIC THEORY, 2020, 70 (04) : 1045 - 1068
  • [7] Characterizing proximity trees
    Bose, P
    Lenhart, W
    Liotta, G
    ALGORITHMICA, 1996, 16 (01) : 83 - 110
  • [8] Preemption games under Levy uncertainty
    Boyarchenko, Svetlana
    Levendorskii, Sergei
    GAMES AND ECONOMIC BEHAVIOR, 2014, 88 : 354 - 380
  • [9] THE CONTOUR OF SPLITTING TREES IS A LEVY PROCESS
    Lambert, Amaury
    ANNALS OF PROBABILITY, 2010, 38 (01): : 348 - 395
  • [10] The exact packing measure of Levy trees
    Duquesne, Thomas
    STOCHASTIC PROCESSES AND THEIR APPLICATIONS, 2012, 122 (03) : 968 - 1002
12345