Game Semantics in the Nominal Model

被引：7
|
作者：
Gabbay, Murdoch [1 ]
Ghica, Dan [2 ]
机构：
[1] Heriot Watt Univ, Sch Math & Comp Sci, Edinburgh, Midlothian, Scotland
[2] Univ Birmingham, Sch Comp Sci, Birmingham, W Midlands, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2012年 / 286卷
关键词：
Game semantics; nominal sets; nominal abstraction and coabstraction; equivariance;
D O I：
10.1016/j.entcs.2012.08.012
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.
引用
收藏
页码：173 / 189
页数：17
相关论文
共 50 条
  • [1] Game Semantics for Nominal Exceptions
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 164 - 179
  • [2] Algorithmic Nominal Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 419 - +
  • [3] Operational Nominal Game Semantics
    Jaber, Guilhem
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 264 - 278
  • [4] Nominal Semantics of Mobility
    Alexandru, Andrei
    Ciobanu, Gabriel
    ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY, 2012, 15 (03): : 171 - 214
  • [5] Game semantics model for security protocols
    Debbabi, M
    Saleh, M
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 125 - 140
  • [6] A generating model for Finnish nominal inflection using distributional semantics
    Nikolaev, Alexandre
    Chuang, Yu-Ying
    Baayen, R. Harald
    MENTAL LEXICON, 2023,
  • [7] A generating model for Finnish nominal inflection using distributional semantics
    Nikolaev, Alexandre
    Chuang, Yu-Ying
    Baayen, R. Harald
    MENTAL LEXICON, 2022, 17 (03): : 368 - 394
  • [8] Coalgebraic Semantics for Nominal Automata
    Frank, Florian
    Milius, Stefan
    Urbat, Henning
    COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022), 2022, 13225 : 45 - 66
  • [9] Russian Nominal Semantics and Morphology
    Browne, Wayles
    SLAVIC AND EAST EUROPEAN JOURNAL, 2016, 60 (03): : 591 - 592
  • [10] Nominal syntagm: Syntax and semantics
    Frieling, SV
    ZEITSCHRIFT FUR FRANZOSISCHE SPRACHE UND LITERATUR, 2003, 113 (02): : 165 - 168
12345