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 条
  • [11] Game semantics: Achievements and prospects
    Abramsky, S
    AUTOMATA LANGUAGES AND PROGRAMMING, 2000, 1853 : 1 - 1
  • [12] Game Semantics in String Diagrams
    Mellies, Paul-Andre
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 481 - 490
  • [13] A Game Semantics for System P
    Marti, J.
    Pinosio, R.
    STUDIA LOGICA, 2016, 104 (06) : 1119 - 1144
  • [14] Game Semantics for Bounded Polymorphism
    Laird, James
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 55 - 70
  • [15] Game Semantics for Quantum Stores
    Delbecque, Yannick
    Panagaden, Prakash
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 218 (153-170) : 153 - 170
  • [16] A game semantics of the asynchronous π-calculus
    Laird, J
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 51 - 65
  • [17] Game semantics & abstract machines
    Danos, V
    Herbelin, H
    Regnier, L
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 394 - 405
  • [18] A game semantics for generic polymorphism
    Abramsky, S
    Jagadeesan, R
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 1 - 22
  • [19] GAME-THEORETICAL SEMANTICS
    SAARINEN, E
    MONIST, 1977, 60 (03): : 406 - 418
  • [20] Game Semantics for Quantum Programming
    Clairambault, Pierre
    De Visme, Marc
    Winskel, Glynn
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
12345