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 条

[31] A game semantics for generic polymorphism
Abramsky, S
Jagadeesan, R
ANNALS OF PURE AND APPLIED LOGIC, 2005, 133 (1-3) : 3 - 37
[32] A game semantics of the asynchronous π-calculus
Laird, J
CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 51 - 65
[33] Game Semantics for Quantum Stores
Delbecque, Yannick
Panagaden, Prakash
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 218 (153-170) : 153 - 170
[34] Game semantics & abstract machines
Danos, V
Herbelin, H
Regnier, L
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 394 - 405
[35] A game semantics for generic polymorphism
Abramsky, S
Jagadeesan, R
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 1 - 22
[36] A GAME SEMANTICS FOR LINEAR LOGIC
BLASS, A
ANNALS OF PURE AND APPLIED LOGIC, 1992, 56 (1-3) : 183 - 220
[37] Game Semantics for Type Soundness
Disney, Tim
Flanagan, Cormac
2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 104 - 114
[38] An argument game for stable semantics
Caminada, Martin
Wu, Yining
LOGIC JOURNAL OF THE IGPL, 2009, 17 (01) : 77 - 90
[39] Concurrent structures in game semantics
Castellan, Simon (s.castellan@imperial.ac.uk), 1600, European Association for Theoretical Computer Science (2017):
[40] Game Semantics for Quantum Data
Delbecquea, Yannick
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 270 (01) : 41 - 57