A lambda calculus for quantum computation with classical control

被引：0
|
作者：
Selinger, P [1 ]
Valiron, B [1 ]
机构：
[1] Univ Ottawa, Dept Math & Stat, Ottawa, ON K1N 6N5, Canada
来源：
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS | 2005年 / 3461卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.
引用
收藏
页码：354 / 368
页数：15
相关论文
共 50 条
  • [31] LAMBDA-MU-CALCULUS - AN ALGORITHMIC INTERPRETATION OF CLASSICAL NATURAL DEDUCTION
    PARIGOT, M
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 190 - 191
  • [32] A Calculus of Lambda Calculus Contexts
    Mirna Bognar
    Roel de Vrijer
    Journal of Automated Reasoning, 2001, 27 : 29 - 59
  • [33] A calculus of lambda calculus contexts
    Bognar, M
    De Vrijer, R
    JOURNAL OF AUTOMATED REASONING, 2001, 27 (01) : 29 - 59
  • [34] Quantum and Classical Structures in Nondeterminstic Computation
    Pavlovic, Dusko
    QUANTUM INTERACTION, PROCEEDINGS, 2009, 5494 : 143 - 157
  • [35] Succinct Classical Verification of Quantum Computation
    Bartusek, James
    Kalai, Yael Tauman
    Lombardi, Alex
    Ma, Fermi
    Malavolta, Giulio
    Vaikuntanathan, Vinod
    Vidick, Thomas
    Yang, Lisa
    ADVANCES IN CRYPTOLOGY - CRYPTO 2022, PT II, 2022, 13508 : 195 - 211
  • [36] Information and computation:: Classical and quantum aspects
    Galindo, A
    Martín-Delgado, MA
    REVIEWS OF MODERN PHYSICS, 2002, 74 (02) : 347 - 423
  • [37] Physics of computation: From classical to quantum
    Thomas, H
    COMPLEXITY FROM MICROSCOPIC TO MACROSCOPIC SCALES: COHERENCE AND LARGE DEVIATIONS, 2002, 63 : 1 - 20
  • [38] Classical computation over quantum architectures
    Della Schiava, Alex
    Piazza, Carla
    Romanello, Riccardo
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (08) : 1526 - 1555
  • [39] Advice Coins for Classical and Quantum Computation
    Aaronson, Scott
    Drucker, Andrew
    AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT I, 2011, 6755 : 61 - 72
  • [40] Quantum and classical dynamics in adiabatic computation
    Crowley, P. J. D.
    Duric, T.
    Vinci, W.
    Warburton, P. A.
    Green, A. G.
    PHYSICAL REVIEW A, 2014, 90 (04):
12345