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 finite 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 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 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 sheaves 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 16th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Peng Fu]], [[Kohei Kishida]], [[Neil Ross]], [[Peter Selinger]], _A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper_, in I. Lanese, M. Rawski (eds.) _Reversible Computation_ RC 2020. Lecture Notes in Computer Science, vol 12227 ([arXiv:2005.08396](https://arxiv.org/abs/2005.08396), [doi:10.1007/978-3-030-52482-1_9](https://doi.org/10.1007/978-3-030-52482-1_9)) <a href="https://ncatlab.org/nlab/revision/diff/Quipper/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to:

   • Peng Fu, Kohei Kishida, Neil Ross, Peter Selinger, A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper, in I. Lanese, M. Rawski (eds.) Reversible Computation RC 2020. Lecture Notes in Computer Science, vol 12227 (arXiv:2005.08396, doi:10.1007/978-3-030-52482-1_9)

   diff, v3, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 16th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * Francisco Rios, [[Peter Selinger]], _A Categorical Model for a Quantum Circuit Description Language_, EPTCS 266, 2018, pp. 164-178 ([arXiv:1706.02630](https://arxiv.org/abs/1706.02630)) <a href="https://ncatlab.org/nlab/revision/diff/Quipper/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to:

   • Francisco Rios, Peter Selinger, A Categorical Model for a Quantum Circuit Description Language, EPTCS 266, 2018, pp. 164-178 (arXiv:1706.02630)

   diff, v3, current

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeFeb 16th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * Jonathan M. Smith, [[Neil Ross]], [[Peter Selinger]], Benoît Valiron, _Quipper: Concrete Resource Estimation in Quantum Algorithms_, QAPL 2014 ([arXiv:1412.0625](https://arxiv.org/abs/1412.0625)) <a href="https://ncatlab.org/nlab/revision/diff/Quipper/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to:

   • Jonathan M. Smith, Neil Ross, Peter Selinger, Benoît Valiron, Quipper: Concrete Resource Estimation in Quantum Algorithms, QAPL 2014 (arXiv:1412.0625)

   diff, v3, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeFeb 16th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to * [[Alexander Green]], [[Peter LeFanu Lumsdaine]], [[Neil Ross]], [[Peter Selinger]], [[Benoît Valiron]], _Quipper: A Scalable Quantum Programming Language_, ACM SIGPLAN Notices 48(6):333-342, 2013 ([arXiv:1304.3390](https://arxiv.org/abs/1304.3390)) * [[Alexander Green]], [[Peter LeFanu Lumsdaine]], [[Neil Ross]], [[Peter Selinger]], [[Benoît Valiron]], _An Introduction to Quantum Programming in Quipper_, Lecture Notes in Computer Science 7948:110-124, Springer, 2013 ([arXiv:1304.5485](https://arxiv.org/abs/1304.5485)) <a href="https://ncatlab.org/nlab/revision/diff/Quipper/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to

   • Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, Quipper: A Scalable Quantum Programming Language, ACM SIGPLAN Notices 48(6):333-342, 2013 (arXiv:1304.3390)

   • Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, An Introduction to Quantum Programming in Quipper, Lecture Notes in Computer Science 7948:110-124, Springer, 2013 (arXiv:1304.5485)

   diff, v3, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeOct 1st 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu, *Concrete Categorical Model of a Quantum Circuit Description Language with Measurement*, Leibniz International Proceedings in Informatics **213** (2021) 51:1-51:20 &lbrack;[arXiv:2110.02691](https://arxiv.org/abs/2110.02691), [doi:10.4230/LIPIcs.FSTTCS.2021.51](https://doi.org/10.4230/LIPIcs.FSTTCS.2021.51)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to:

   • Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu, Concrete Categorical Model of a Quantum Circuit Description Language with Measurement, Leibniz International Proceedings in Informatics 213 (2021) 51:1-51:20 [arXiv:2110.02691, doi:10.4230/LIPIcs.FSTTCS.2021.51]

   diff, v5, current

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeOct 1st 2022
   • (edited Oct 1st 2022)
   • PermaLink
   Author: Urs
   Format: MarkdownItexand to: * Andrea Colledan, [[Ugo Dal Lago]], *On Dynamic Lifting and Effect Typing in Circuit Description Languages* &lbrack;[arXiv:2202.07636](https://arxiv.org/abs/2202.07636)&rbrack; * Andrea Colledan, [[Ugo Dal Lago]], *On Dynamic Lifting and Effect Typing in Circuit Description Languages*, talk at *TYPES Workshop*, Nantes (2022) &lbrack;[pdf](https://types22.inria.fr/files/2022/06/TYPES_2022_slides_13.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   and to:

   • Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages [arXiv:2202.07636]

   • Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages, talk at TYPES Workshop, Nantes (2022) [pdf]

   diff, v5, current

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeOct 1st 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexand these two: * [[Peng Fu]], [[Kohei Kishida]], [[Neil J. Ross]], [[Peter Selinger]], *A biset-enriched categorical model for Proto-Quipper with dynamic lifting* &lbrack;[arXiv:2204.13039](https://arxiv.org/abs/2204.13039)&rbrack; * [[Peng Fu]], [[Kohei Kishida]], [[Neil J. Ross]], [[Peter Selinger]], *Proto-Quipper with dynamic lifting* &lbrack;[arXiv:2204.13041](https://arxiv.org/abs/2204.13041)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   and these two:

   • Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger, A biset-enriched categorical model for Proto-Quipper with dynamic lifting [arXiv:2204.13039]

   • Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger, Proto-Quipper with dynamic lifting [arXiv:2204.13041]

   diff, v5, current

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeDec 7th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Peter Selinger]], *Introduction to Quipper*, talk at [QPL2016](qpl2016.cis.strath.ac.uk) (2016) &lbrack;[video](https://youtu.be/59frzb__Eqo)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/16">v16</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to:

   • Peter Selinger, Introduction to Quipper, talk at QPL2016 (2016) [video]

   diff, v16, current

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeFeb 25th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Neil J. Ross]], Chapters 8-9 in: *Algebraic and Logical Methods in Quantum Computation*, Ph.D. thesis, Dalhousie University (2015) &lbrack;[arXiv:1510.02198](https://arxiv.org/abs/1510.02198)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/17">v17</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

   added pointer to:

   • Neil J. Ross, Chapters 8-9 in: Algebraic and Logical Methods in Quantum Computation, Ph.D. thesis, Dalhousie University (2015) [arXiv:1510.02198]

   diff, v17, current

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMar 9th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Francisco Rios]], *On a Categorically Sound Quantum Programming Language for Circuit Description*, Dalhousie University (2021) &lbrack;[hdl:10222/80771](http://hdl.handle.net/10222/80771)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/18">v18</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

    added pointer to:

    • Francisco Rios, On a Categorically Sound Quantum Programming Language for Circuit Description, Dalhousie University (2021) [hdl:10222/80771]

    diff, v18, current

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 17th 2023
    • (edited Aug 17th 2023)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * Safat Siddiqui, Mohammed Jahirul Islam, Omar Shehab, *Five Quantum Algorithms Using Quipper* &lbrack;[arXiv:1406.4481](https://arxiv.org/abs/1406.4481)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/25">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/25">v25</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

    added pointer to:

    • Safat Siddiqui, Mohammed Jahirul Islam, Omar Shehab, Five Quantum Algorithms Using Quipper [arXiv:1406.4481]

    diff, v25, current

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeNov 18th 2023
    • (edited Nov 18th 2023)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Frank (Peng) Fu]], *Proto-Quipper with Dynamic Lifting*, [talk at](CQTS#PengFuOct2023) [[CQTS]] (23 Oct 2023) &lbrack;video:[YT](https://youtu.be/bBL7rlqbDWM)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Quipper/28">diff</a>, <a href="https://ncatlab.org/nlab/revision/Quipper/28">v28</a>, <a href="https://ncatlab.org/nlab/show/Quipper">current</a>

    added pointer to:

    • Frank (Peng) Fu, Proto-Quipper with Dynamic Lifting, talk at CQTS (23 Oct 2023) [video:YT]

    diff, v28, current