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 条

[41] A GAME SEMANTICS FOR LINEAR LOGIC
BLASS, A
ANNALS OF PURE AND APPLIED LOGIC, 1992, 56 (1-3) : 183 - 220
[42] On the theory of anaphora: Dynamic predicate logic vs. game-theoretical semantics
Sandu, G
LINGUISTICS AND PHILOSOPHY, 1997, 20 (02) : 147 - 174
[43] On the Theory of Anaphora: Dynamic Predicate Logic vs. Game-Theoretical Semantics
Gabriel Sandu
Linguistics and Philosophy, 1997, 20 : 147 - 174
[44] Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects
Laird, J.
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 470 - 500
[45] Parallel game semantics for linear logic
Baratella, S.
Berardi, S.
Archive for Mathematical Logic, 1997, 36 (03):
[46] On game semantics of the affine and intuitionistic logics
Mezhirov, Ilya
Vereshchagin, Nikolay
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 28 - +
[47] A parallel game semantics for Linear Logic
Stefano Baratella
Stefano Berardi
Archive for Mathematical Logic, 1997, 36 : 189 - 217
[48] Game Semantics for a Polymorphic Programming Language
Laird, J.
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 41 - 49
[49] Game Semantics for a Polymorphic Programming Language
Laird, J.
JOURNAL OF THE ACM, 2013, 60 (04)
[50] Game semantics model for security protocols
Debbabi, M
Saleh, M
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 125 - 140

← 1 2 3 4 5 →