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 galois-theory 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 k-theory lie-theory limits linear linear-algebra locale localization logic mathematics 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 planar 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
   • CommentTimeFeb 17th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexa bare list of references, to be `!includ`-ed into the list of references of relevant entries, such as at _[[quantum computing]]_ and _[[quantum programming]]_, for ease of updating and syncing <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/1">v1</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   a bare list of references, to be !includ-ed into the list of references of relevant entries, such as at quantum computing and quantum programming, for ease of updating and syncing

   v1, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMay 11th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Ross Duncan]], *Types for Quantum Computing*, 2006 ([pdf](http://personal.strath.ac.uk/ross.duncan/papers/rduncan-thesis.pdf)) <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/2">v2</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer to:

   • Ross Duncan, Types for Quantum Computing, 2006 (pdf)

   diff, v2, current

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMay 12th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer for *[[QWIRE]]* <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/3">v3</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer for QWIRE

   diff, v3, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeMay 12th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Samson Abramsky]], [[Bob Coecke]], _A categorical semantics of quantum protocols_ , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE Computer Science Press (2004) ([arXiv:quant-ph/0402130](http://arxiv.org/abs/quant-ph/0402130)) * [[Samson Abramsky]], [[Ross Duncan]], _A Categorical Quantum Logic_, Mathematical Structures in Computer Science, Volume 16, Issue 3 (2006) pp. 469 - 489 ([arXiv:quant-ph/0512114](http://arxiv.org/abs/quant-ph/0512114), [doi:10.1017/S0960129506005275](https://doi.org/10.1017/S0960129506005275)) <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/4">v4</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer to:

   • Samson Abramsky, Bob Coecke, A categorical semantics of quantum protocols , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) (arXiv:quant-ph/0402130)

   • Samson Abramsky, Ross Duncan, A Categorical Quantum Logic, Mathematical Structures in Computer Science, Volume 16, Issue 3 (2006) pp. 469 - 489 (arXiv:quant-ph/0512114, doi:10.1017/S0960129506005275)

   diff, v4, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeMay 13th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded this pointer: * [[Jarosław Adam Miszczak]], *High-level Structures for Quantum Computing*, Morgan&Claypool 2012 ([doi:10.2200/S00422ED1V01Y201205QMC006](https://doi.org/10.2200/S00422ED1V01Y201205QMC006), [pdf](https://www.morganclaypool.com/doi/pdf/10.2200/S00422ED1V01Y201205QMC006)) <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/6">v6</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added this pointer:

   • Jarosław Adam Miszczak, High-level Structures for Quantum Computing, Morgan&Claypool 2012 (doi:10.2200/S00422ED1V01Y201205QMC006, pdf)

   diff, v6, current

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeMay 13th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Jarosław Adam Miszczak]], *Models of quantum computation and quantum programming languages*, Bull. Pol. Acad. Sci.-Tech. Sci., Vol. 59, No. 3 (2011), pp. 305-324 ([arXiv:1012.6035](https://arxiv.org/abs/1012.6035)) <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/7">v7</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer to:

   • Jarosław Adam Miszczak, Models of quantum computation and quantum programming languages, Bull. Pol. Acad. Sci.-Tech. Sci., Vol. 59, No. 3 (2011), pp. 305-324 (arXiv:1012.6035)

   diff, v7, current

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeOct 29th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand, *Q# as a Quantum Algorithmic Language*, Proceedings of *Quantum Physics and Logic* (2022) &lbrack;[arXiv:2206.03532](https://arxiv.org/abs/2206.03532)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/14">v14</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer to:

   • Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand, Q# as a Quantum Algorithmic Language, Proceedings of Quantum Physics and Logic (2022) [arXiv:2206.03532]

   diff, v14, current

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeOct 29th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Sam Staton]], *Algebraic Effects, Linearity, and Quantum Programming Languages*, POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2015) &lbrack;[doi:10.1145/2676726.2676999](https://doi.org/10.1145/2676726.2676999), [pdf](http://www.cs.ox.ac.uk/people/samuel.staton/papers/popl2015.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/14">v14</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer to:

   • Sam Staton, Algebraic Effects, Linearity, and Quantum Programming Languages, POPL ’15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2015) [doi:10.1145/2676726.2676999, pdf]

   diff, v14, current

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeNov 12th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * B. Heim et al., *Quantum programming languages*, Nat Rev Phys **2** (2020) 709–722 $[$[doi:10.1038/s42254-020-00245-7](https://doi.org/10.1038/s42254-020-00245-7)$]$ <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/18">v18</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

   added pointer to:

   • B. Heim et al., Quantum programming languages, Nat Rev Phys 2 (2020) 709–722 $[$doi:10.1038/s42254-020-00245-7$]$

   diff, v18, current

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 19th 2022
    • (edited Nov 19th 2022)
    • PermaLink
    Author: Urs
    Format: MarkdownItexhave added pointer to * [[Peter Selinger]], [[Benoît Valiron]], *Quantum Lambda Calculus*, Semantic Techniques in Quantum Computation, Cambridge University Press (2009) 135-172 $[$[doi:10.1017/CBO9781139193313.005](https://doi.org/10.1017/CBO9781139193313.005), [pdf](https://www.mscs.dal.ca/~selinger/papers/qlambdabook.pdf)$]$ and will create a stub-page *[[quantum lambda-calculus]]* <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/21">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/21">v21</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

    have added pointer to

    • Peter Selinger, Benoît Valiron, Quantum Lambda Calculus, Semantic Techniques in Quantum Computation, Cambridge University Press (2009) 135-172 $[$doi:10.1017/CBO9781139193313.005, pdf$]$

    and will create a stub-page quantum lambda-calculus

    diff, v21, current

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMar 3rd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini, *Quantum Software Engineering*, Springer (2022) $[$[doi:10.1007/978-3-031-05324-5](https://doi.org/10.1007/978-3-031-05324-5)$]$ <a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+languages+--+references/25">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+languages+--+references/25">v25</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages+--+references">current</a>

    added pointer to:

    • Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini, Quantum Software Engineering, Springer (2022) $[$doi:10.1007/978-3-031-05324-5$]$

    diff, v25, current