Publisher
Springer International Publishing
Reference23 articles.
1. Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New J. Phys. 13, 113036 (2011)
2. Adámek, J., Velebil, J.: Analytic functors and weak pullbacks. Theor. Appl. Categ. 21(11), 191–209 (2008)
3. Adams, R.: QPEL: quantum program and effect language. In: Coecke, B., Hasuo, I., Panangaden, P. (eds.) Electrical Proceedings in Theoretical Computer Science on Quantum Physics and Logic (QPL) 2014, no. 172, pp. 133–153 (2014)
4. Adams, R., Jacobs, B.: A type theory for probabilistic and Bayesian reasoning (2015).
arXiv.org/abs/1511.09230
5. Cho, K.: Total and partial computation in categorical quantum foundations. In: Heunen, C., Selinger, P., Vicary, J. (eds.) Electrical Proceedings in Theoretical Computer Science on Quantum Physics and Logic (QPL) 2015, no. 195, pp. 116–135 (2015)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献