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 条
  • [21] DOMINANCE SOLVABLE GAMES AND TREES
    KIM, KH
    ROUSH, FW
    MATHEMATICAL SOCIAL SCIENCES, 1982, 2 (03) : 245 - 256
  • [22] Characterizing Cryptocurrency Market with Levy's Stable Distributions
    Kakinaka, Shinji
    Umeno, Ken
    JOURNAL OF THE PHYSICAL SOCIETY OF JAPAN, 2020, 89 (02)
  • [23] Games characterizing certain families of functions
    Balcerzak, Marek
    Natkaniec, Tomasz
    Szuca, Piotr
    ARCHIVE FOR MATHEMATICAL LOGIC, 2024, 63 (7-8) : 759 - 772
  • [24] Characterizing the value functions of polynomial games
    Ashkenazi-Golan, Galit
    Solan, Eilon
    Zseleva, Anna
    OPERATIONS RESEARCH LETTERS, 2020, 48 (01) : 93 - 95
  • [25] Characterizing robust solutions in monotone games
    Barthel, Anne -Christine
    Hoffmann, Eric
    Sabarwal, Tarun
    GAMES AND ECONOMIC BEHAVIOR, 2022, 135 : 201 - 219
  • [26] Characterizing the flow equivalent trees of a network
    Hartvigsen, D
    DISCRETE APPLIED MATHEMATICS, 2003, 128 (2-3) : 387 - 394
  • [27] Sequences characterizing k-trees
    Lotker, Zvi
    Majumdar, Debapriyo
    Narayanaswamy, N. S.
    Weber, Ingmar
    COMPUTING AND COMBINATORICS, PROCEEDINGS, 2006, 4112 : 216 - 225
  • [28] Characterizing hyperbolic spaces and real trees
    Roberto Frigerio
    Alessandro Sisto
    Geometriae Dedicata, 2009, 142 : 139 - 149
  • [29] Characterizing trees with large Laplacian energy
    Fritscher, Eliseu
    Hoppen, Carlos
    Rocha, Israel
    Trevisan, Vilmar
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2014, 442 : 20 - 49
  • [30] Characterizing rigid simplicial actions on trees
    Levitt, G
    Geometric Methods in Group Theory, 2005, 372 : 27 - 33
12345