On a measurement-free quantum lambda calculus with classical control

被引：11
|
作者：
Dal Lago, Ugo [1 ]
Masini, Andrea [2 ]
Zorzi, Margherita [2 ]
机构：
[1] Univ Bologna, Dipartimento Sci Informaz, I-40126 Bologna, Italy
[2] Univ Verona, Dipartimento Informat, I-37100 Verona, Italy
来源：
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 2009年 / 19卷 / 02期
关键词：
COMPUTATION; COMPLEXITY;
D O I：
10.1017/S096012950800741X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study a measurement-free, untyped lambda-calculus with quantum data and classical control. This work arises from previous proposals by Selinger and Valiron, and Van Tonder. We focus on operational and expressiveness issues, rather than (denotational) semantics. We prove subject reduction and confluence, and a standardisation theorem. Moreover, we prove the computational equivalence of the proposed calculus with a suitable class of quantum circuit families.
引用
收藏
页码：297 / 335
页数：39
相关论文
共 50 条
  • [21] A measurement-free admission control for the IP telephony service over Diffserv-based networks
    Shioda, S
    Nakamura, K
    ICC 2005: IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5, 2005, : 76 - 82
  • [22] Improved Error Thresholds for Measurement-Free Error Correction
    Crow, Daniel
    Joynt, Robert
    Saffman, M.
    PHYSICAL REVIEW LETTERS, 2016, 117 (13)
  • [23] Two linearities for quantum computing in the lambda calculus
    Diaz-Caro, Alejandro
    Dowek, Gilles
    Pablo Rinaldi, Juan
    BIOSYSTEMS, 2019, 186
  • [24] Confluence Results for a Quantum Lambda Calculus with Measurements
    Dal Lago, Ugo
    Masini, Andrea
    Zorzi, Margherita
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 270 (02) : 251 - 261
  • [25] Full Abstraction for the Quantum Lambda-Calculus
    Clairambault, Pierre
    de Visme, Marc
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [26] QUANTUM LOGIC AND THE CLASSICAL PROPOSITIONAL CALCULUS
    MALHAS, OQ
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 834 - 841
  • [27] Matrix Calculus for Classical and Quantum Circuits
    De Vos, Alexis
    De Baerdemacker, Stijn
    ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS, 2014, 11 (02)
  • [28] INTUITIONISTIC INTEGERS AND CLASSICAL INTEGERS IN LAMBDA-C-CALCULUS
    NOUR, K
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1995, 29 (04): : 293 - 313
  • [29] OPERATIONAL CHARACTERIZATION OF CLASSICAL INTEGERS IN LAMBDA-C-CALCULUS
    NOUR, K
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1995, 320 (12): : 1431 - 1434
  • [30] Measurement-free mediated semi-quantum key distribution protocol based on single-particle states
    Zhou, Shun
    Xie, Qi-Ming
    Zhou, Nan-Run
    LASER PHYSICS LETTERS, 2024, 21 (06)
12345