References

  1. Nick Benton (1995): A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract). In: Proceedings of the 8th Workshop on Computer Science Logic, CSL'94, Selected Papers, Springer Lecture Notes in Computer Science 933, pp. 121–135, doi:10.1007/BFb0022251.
  2. Brian Day (1970): On Closed Categories of Functors. In: Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics 137. Springer, pp. 1–38, doi:10.1007/BFb0060438.
  3. Alexander Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger & Benoît Valiron (2013): Quipper: a Scalable Quantum Programming Language. In: Proceedings of the 34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, Seattle, ACM SIGPLAN Notices 48(6), pp. 333–342, doi:10.1145/2499370.2462177. Also available from http://arxiv.org/abs/1304.3390arXiv:1304.3390.
  4. Alexander Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger & Benoît Valiron (2013): The Quipper language. Software implementation, available from http://www.mathstat.dal.ca/~selinger/quipper/.
  5. Gilles Kahn (1987): Natural Semantics. In: Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science (STACS 1987). Springer, pp. 22–39, doi:10.1007/BFb0039592.
  6. S. Mac Lane (1998): Categories for the Working Mathematician, 2nd edition, Graduate Texts in Mathematics. Springer, doi:10.1007/978-1-4757-4721-8.
  7. Paul-André Melliès (2009): Categorical semantics of linear logic. In: Interactive Models of Computation and Program Behaviour, Panoramas et Synthèses 27. Société Mathématique de France, pp. 1–196.
  8. Jennifer Paykin, Robert Rand & Steve Zdancewic (2017): QWIRE: A Core Language for Quantum Circuits. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017. ACM, New York, NY, USA, pp. 846–858, doi:10.1145/3009837.3009894.
  9. Neil J. Ross (2015): Algebraic and Logical Methods in Quantum Computation. Department of Mathematics and Statistics, Dalhousie University. Available from http://arxiv.org/abs/1510.02198arXiv:1510.02198.
  10. Peter Selinger & Benoît Valiron (2009): Quantum Lambda Calculus. In: Simon Gay & Ian Mackie: Semantic Techniques in Quantum Computation, chapter 4. Cambridge University Press, pp. 135–172, doi:10.1017/CBO9781139193313.005.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org