Funder: Natural Sciences and Engineering Research Council of Canada
Bibliographic References
11 Documents citing this article
Filippo Bonchi;Alessandro Di Giorgio;Alessio Santamaria, 2023, Deconstructing the Calculus of Relations with Tape Diagrams, Proceedings of the ACM on programming languages, 7, POPL, pp. 1864-1894, 10.1145/3571257, https://doi.org/10.1145/3571257.
Robin Kaarsgaard;Holger Bock Axelsen;Robert Glück, 2017, Join inverse categories and reversible recursion, The Journal of logical and algebraic methods in programming/Journal of logical and algebraic methods in programming, 87, pp. 33-50, 10.1016/j.jlamp.2016.08.003, https://doi.org/10.1016/j.jlamp.2016.08.003.
Jennifer Chubb;Valentina Harizanov, Cambridge University Press eBooks, A (very) brief tour of quantum mechanics, computation, and category theory, pp. 8-22, 2016, 10.1017/cbo9781139519687.003.
Chris Heunen;Sean Tull, 2015, Categories of relations as models of quantum theory, arXiv (Cornell University), 195, pp. 247-261, 10.4204/eptcs.195.18.