Game Semantics for Quantum Data

被引：4
|
作者：
Delbecquea, Yannick [1 ]
机构：
[1] McGill Univ, Sch Comp Sci, Montreal, PQ, Canada
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2011年 / 270卷 / 01期
基金：
加拿大自然科学与工程研究理事会;
关键词：
Game semantics; quantum programing languages; quantum games;
D O I：
10.1016/j.entcs.2011.01.005
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents a game semantics for a simply-typed lambda-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode any quantum circuit. The language uses a notion of extended variable, similar to that seen in functional languages with pattern matching, but adapted to the needs of dealing with tensor products. The game semantics is constructed from classical game semantics using quantum interventions as questions and measurements results as answers. A soundness result for the semantics is given.
引用
收藏
页码：41 / 57
页数：17
相关论文
共 50 条
  • [21] GAME-THEORETICAL SEMANTICS
    SAARINEN, E
    MONIST, 1977, 60 (03): : 406 - 418
  • [22] Algorithmic Nominal Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 419 - +
  • [23] 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
  • [24] Operational Algorithmic Game Semantics
    Bunting, Benedict
    Murawski, Andrzej S.
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [25] Game Semantics for Nominal Exceptions
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 164 - 179
  • [26] A game semantics of names and pointers
    Laird, J.
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 151 (2-3) : 151 - 169
  • [27] Game semantics & abstract machines
    Danos, V.
    Herbelin, H.
    Regnier, L.
    Proceedings - Symposium on Logic in Computer Science, 1996, : 394 - 405
  • [28] Game semantics for untyped λβη-calculus
    Di Gianantonio, P
    Franco, G
    Honsell, F
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 114 - 128
  • [29] Game Semantics for Vague Quantification
    Fermueller, Christian G.
    LOGICA YEARBOOK 2015, 2016, : 71 - 86
  • [30] An argument game for stable semantics
    Caminada, Martin
    Wu, Yining
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (01) : 77 - 90
12345