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 } }
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
Supplemental Presentations
3 Citations
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Mathematics, Computer Science
- ArXiv
- 2020
- 1
- PDF
A New Connective in Natural Deduction, and its Application to Quantum Computing
- Computer Science
- ArXiv
- 2020
- PDF
A Categorical Construction for the Computational Definition of Vector Spaces
- Mathematics, Computer Science
- Appl. Categorical Struct.
- 2020
- 1
- PDF
References
SHOWING 1-10 OF 18 REFERENCES
Lineal: A linear-algebraic Lambda-calculus
- Computer Science, Physics
- Log. Methods Comput. Sci.
- 2017
- 24
- PDF
On quantum lambda calculi: a foundational perspective
- Mathematics, Computer Science
- Math. Struct. Comput. Sci.
- 2016
- 29
Applying quantitative semantics to higher-order quantum computing
- Computer Science, Physics
- POPL
- 2014
- 63
- PDF
A functional quantum programming language
- Mathematics, Physics
- 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
- 2005
- 198
- PDF
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Mathematics, Computer Science
- APLAS
- 2017
- 3
- PDF
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
- Mathematics, Computer Science
- Log. Methods Comput. Sci.
- 2014
- 15
- PDF