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 条
  • [31] From CSP to Game Semantics
    Abramsky, Samson
    REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 33 - 45
  • [32] Concurrent structures in game semantics
    Castellan, Simon (s.castellan@imperial.ac.uk), 1600, European Association for Theoretical Computer Science (2017):
  • [33] A game semantics for generic polymorphism
    Abramsky, S
    Jagadeesan, R
    ANNALS OF PURE AND APPLIED LOGIC, 2005, 133 (1-3) : 3 - 37
  • [34] Game semantics for dependent types
    Vakar, Matthijs
    Jagadeesan, Radha
    Abramsky, Samson
    INFORMATION AND COMPUTATION, 2018, 261 : 401 - 431
  • [35] Game Semantics and Normalization by Evaluation
    Clairambault, Pierre
    Dybjer, Peter
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 56 - 70
  • [36] Resource modalities in game semantics
    Mellies, Paul-Andre
    Tabareau, Nicolas
    22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 389 - +
  • [37] Game Semantics for Access Control
    Abramsky, Samson
    Jagadeesan, Radha
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 135 - 156
  • [38] ActorGame: Game Semantics for Actors
    Wang, Yong
    Dai, Guiping
    2013 FOURTH GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS), 2013, : 5 - 10
  • [39] Operational Nominal Game Semantics
    Jaber, Guilhem
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 264 - 278
  • [40] Game Semantics for Type Soundness
    Disney, Tim
    Flanagan, Cormac
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 104 - 114
12345