Two linearities for quantum computing in the lambda calculus

@article{DazCaro2019TwoLF,
  title={Two linearities for quantum computing in the lambda calculus},
  author={Alejandro D{\'i}az-Caro and G. Dowek and J. Rinaldi},
  journal={Bio Systems},
  year={2019},
  pages={
          104012
        }
}
  • Alejandro Díaz-Caro, G. Dowek, J. Rinaldi
  • Published 2019
  • Computer Science, Mathematics, Medicine
  • Bio Systems
  • We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where… CONTINUE READING
    1 Citations

    Tables and Topics from this paper.

    A Categorical Construction for the Computational Definition of Vector Spaces

    References

    SHOWING 1-10 OF 18 REFERENCES
    Typing Quantum Superpositions and Measurement
    • 10
    • PDF
    Lineal: A linear-algebraic Lambda-calculus
    • 22
    • PDF
    On quantum lambda calculi: a foundational perspective
    • M. Zorzi
    • Computer Science, Mathematics
    • Math. Struct. Comput. Sci.
    • 2016
    • 26
    Applying quantitative semantics to higher-order quantum computing
    • 63
    • PDF
    Quantum lambda calculus
    • 62
    • PDF
    A functional quantum programming language
    • Jonathan Grattage
    • Mathematics, Physics
    • 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
    • 2005
    • 194
    • PDF
    The vectorial λ-calculus
    • 14
    • PDF