Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeNov 19th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexa stub entry, nothing here yet for the moment <a href="https://ncatlab.org/nlab/revision/quantum+lambda-calculus/1">v1</a>, <a href="https://ncatlab.org/nlab/show/quantum+lambda-calculus">current</a>

   a stub entry, nothing here yet for the moment

   v1, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeAug 16th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Peter Selinger]], [[Benoît Valiron]], *A lambda calculus for quantum computation with classical control*, Proc. of TLCA 2005 &lbrack;[arXiv:cs/0404056](https://arxiv.org/abs/cs/0404056), [doi:10.1007/11417170_26](https://doi.org/10.1007/11417170_26)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+lambda-calculus/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+lambda-calculus/2">v2</a>, <a href="https://ncatlab.org/nlab/show/quantum+lambda-calculus">current</a>

   added pointer to:

   • Peter Selinger, Benoît Valiron, A lambda calculus for quantum computation with classical control, Proc. of TLCA 2005 [arXiv:cs/0404056, doi:10.1007/11417170_26]

   diff, v2, current

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeAug 16th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexand this one: * [[Benoît Valiron]], *A functional programming language for quantum computation with classical control*, MSc thesis, University of Ottawa (2004) &lbrack;[doi:10.20381/ruor-18372](http://dx.doi.org/10.20381/ruor-18372), [pdf](https://ruor.uottawa.ca/bitstream/10393/26790/1/MR01625.PDF)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+lambda-calculus/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+lambda-calculus/2">v2</a>, <a href="https://ncatlab.org/nlab/show/quantum+lambda-calculus">current</a>

   and this one:

   • Benoît Valiron, A functional programming language for quantum computation with classical control, MSc thesis, University of Ottawa (2004) [doi:10.20381/ruor-18372, pdf]

   diff, v2, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeAug 17th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded also these pointers: * Pablo Arrighi, Alejandro Díaz-Caro, [[Benoît Valiron]], *A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus*, EPTCS **88** (2012) 1-15 &lbrack;[arXiv:1012.4032](https://arxiv.org/abs/1012.4032), [doi:10.4204/EPTCS.88.1](https://doi.org/10.4204/EPTCS.88.1)&rbrack; * Richard Eisenberg, [[Benoît Valiron]], Steve Zdancewic, *Typechecking Linear Data: Quantum Computation in Haskell* &lbrack;[pdf](https://ncatlab.org/nlab/files/EisenbergValironZdancewic-LinearData.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+lambda-calculus/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+lambda-calculus/3">v3</a>, <a href="https://ncatlab.org/nlab/show/quantum+lambda-calculus">current</a>

   added also these pointers:

   • Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron, A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus, EPTCS 88 (2012) 1-15 [arXiv:1012.4032, doi:10.4204/EPTCS.88.1]

   • Richard Eisenberg, Benoît Valiron, Steve Zdancewic, Typechecking Linear Data: Quantum Computation in Haskell [pdf]

   diff, v3, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJan 13th 2024
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * Kenta Cho, Abraham Westerbaan, *Von Neumann Algebras form a Model for the Quantum Lambda Calculus*, QPL 2016 &lbrack;[arXiv:1603.02133](https://arxiv.org/abs/1603.02133), [pdf](https://www.cs.ru.nl/K.Cho/papers/model-qlc.pdf), slides:[pdf](http://qpl2016.cis.strath.ac.uk/pdfs/2cho-final.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+lambda-calculus/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+lambda-calculus/4">v4</a>, <a href="https://ncatlab.org/nlab/show/quantum+lambda-calculus">current</a>

   added pointer to:

   • Kenta Cho, Abraham Westerbaan, Von Neumann Algebras form a Model for the Quantum Lambda Calculus, QPL 2016 [arXiv:1603.02133, pdf, slides:pdf]

   diff, v4, current

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeJul 16th 2024
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Alejandro Díaz-Caro]], Gilles Dowek: *Typing Quantum Superpositions and Measurement*, in: *Theory and Practice of Natural Computing. TPNC 2017*, Lecture Notes in Computer Science **10687**, Springer (2017) &lbrack;[doi:10.1007/978-3-319-71069-3_22](https://doi.org/10.1007/978-3-319-71069-3_22)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+lambda-calculus/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+lambda-calculus/5">v5</a>, <a href="https://ncatlab.org/nlab/show/quantum+lambda-calculus">current</a>

   added pointer to:

   • Alejandro Díaz-Caro, Gilles Dowek: Typing Quantum Superpositions and Measurement, in: Theory and Practice of Natural Computing. TPNC 2017, Lecture Notes in Computer Science 10687, Springer (2017) [doi:10.1007/978-3-319-71069-3_22]

   diff, v5, current