Dynamic game semantics

被引：0
|
作者：
Janasik, T [1 ]
Sandu, G [1 ]
机构：
[1] Univ Helsinki, Dept Philosophy, Helsinki, Finland
来源：
MEANING: THE DYNAMIC TURN | 2003年 / 12卷
关键词：
D O I：
暂无
中图分类号：
H [语言、文字];
学科分类号：
05 ;
摘要：
引用
收藏
页码：215 / 240
页数：26
相关论文
共 50 条
  • [21] Algorithmic Nominal Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 419 - +
  • [22] Algorithmic probabilistic game semantics
    Kiefer, Stefan
    Murawski, Andrzej S.
    Ouaknine, Joel
    Wachter, Bjoern
    Worrell, James
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 285 - 312
  • [23] Operational Algorithmic Game Semantics
    Bunting, Benedict
    Murawski, Andrzej S.
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [24] Game Semantics for Nominal Exceptions
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 164 - 179
  • [25] A game semantics of names and pointers
    Laird, J.
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 151 (2-3) : 151 - 169
  • [26] Game semantics & abstract machines
    Danos, V.
    Herbelin, H.
    Regnier, L.
    Proceedings - Symposium on Logic in Computer Science, 1996, : 394 - 405
  • [27] Game semantics for untyped λβη-calculus
    Di Gianantonio, P
    Franco, G
    Honsell, F
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 114 - 128
  • [28] Game Semantics for Vague Quantification
    Fermueller, Christian G.
    LOGICA YEARBOOK 2015, 2016, : 71 - 86
  • [29] An argument game for stable semantics
    Caminada, Martin
    Wu, Yining
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (01) : 77 - 90
  • [30] From CSP to Game Semantics
    Abramsky, Samson
    REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 33 - 45
12345