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]   A System-Level Game Semantics [J].
Ghica, Dan R. ;
Tzevelekos, Nikos .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 286 :191-211
[22]   A game semantics for disjunctive logic programming [J].
Tsouanas, Thanos .
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) :1144-1175
[23]   An Algebraic Account of References in Game Semantics [J].
Mellies, Paul-Andre ;
Tabareau, Nicolas .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 :377-405
[24]   Game semantics and linear CPS interpretation [J].
Laird, J .
THEORETICAL COMPUTER SCIENCE, 2005, 333 (1-2) :199-224
[25]   Game Semantics for Interface Middleweight Java']Java [J].
Murawski, Andrzej S. ;
Tzevelekos, Nikos .
JOURNAL OF THE ACM, 2021, 68 (01)
[26]   STRONG FUNCTORS AND INTERLEAVING FIXPOINTS IN GAME SEMANTICS [J].
Clairambault, Pierre .
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2013, 47 (01) :25-68
[27]   A constructive game semantics for the language of linear logic [J].
Japaridze, G .
ANNALS OF PURE AND APPLIED LOGIC, 1997, 85 (02) :87-156
[28]   Categorical Combinatorics of Scheduling and Synchronization in Game Semantics [J].
Mellies, Paul-Andre .
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL)
[29]   GAME SEMANTICS FOR FIRST-ORDER LOGIC [J].
Laurent, Olivier .
LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04) :1-50
[30]   CLASSICAL LOGIC AND SCHIZOPHRENIA: FOR A NEUTRAL GAME SEMANTICS [J].
Redmond, Juan ;
Lopez-Orellana, Rodrigo .
REVISTA DE FILOSOFIA, 2018, 74 :215-241
12345