Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

@article{Pchoux2020QuantumPW,
  title={Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory},
  author={Romain P{\'e}choux and S. Perdrix and Mathys Rennela and Vladimir Zamdzhiev},
  journal={Foundations of Software Science and Computation Structures},
  year={2020},
  volume={12077},
  pages={562 - 581}
}
  • Romain Péchoux, S. Perdrix, +1 author Vladimir Zamdzhiev
  • Published 2020
  • Computer Science, Mathematics, Physics
  • Foundations of Software Science and Computation Structures
  • Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL. We construct a sound categorical model for the language and by doing so we provide the first detailed semantic treatment of user-defined inductive datatypes in quantum programming. We also show our denotational interpretation is invariant with respect to big… CONTINUE READING
    8 Citations
    Quantum Programming with Inductive Datatypes
    • 1
    • PDF
    Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
    • 3
    • PDF
    Semantics for a Lambda Calculus for String Diagrams
    • 1
    • PDF
    Semantics for first-order affine inductive data types via slice categories
    • PDF
    Reflecting Algebraically Compact Functors
    • PDF
    LNL-FPC: The Linear/Non-linear Fixpoint Calculus
    • 5
    • PDF
    Computational Adequacy for Substructural Lambda Calculi
    • PDF

    References

    SHOWING 1-10 OF 55 REFERENCES
    Game semantics for quantum programming
    • 13
    • Highly Influential
    Semantics for a Quantum Programming Language by Operator Algebras
    • Kenta Cho
    • Computer Science
    • New Generation Computing
    • 2016
    • 21
    • PDF
    Classical Control and Quantum Circuits in Enriched Category Theory
    • 15
    • PDF
    Towards a quantum programming language
    • P. Selinger
    • Computer Science
    • Math. Struct. Comput. Sci.
    • 2004
    • 402
    • PDF
    Semantics of Higher-Order Quantum Computation via Geometry of Interaction
    • I. Hasuo, Naohiko Hoshino
    • Mathematics, Computer Science
    • 2011 IEEE 26th Annual Symposium on Logic in Computer Science
    • 2011
    • 57
    • PDF
    Applying quantitative semantics to higher-order quantum computing
    • 64
    • Highly Influential
    • PDF
    Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
    • 15
    • PDF
    A categorical model for a quantum circuit description language
    • 35
    • PDF
    The geometry of parallelism: classical, probabilistic, and quantum effects
    • 28
    • PDF
    ALGEBRAIC AND LOGICAL METHODS IN QUANTUM COMPUTATION
    • 32
    • PDF