Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abramsky, S.: Domain theory in logical form. Ann. Pure & Appl. Logic 51(1/2), 1–77 (1991)
2. Baez, J.C., Stay, M.: Physics, topology, logic and computation: A Rosetta stone (2009), arxiv.org/abs/0903.0340
3. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985); Revised and corrected version, www.cwru.edu/artsci/math/wells/pub/ttt.html
4. Busch, P., Grabowski, M., Lahti, P.: Operational Quantum Physics. Springer, Berlin (1995)
5. Coumans, D., Jacobs, B.: Scalars, monads and categories (2010), arxiv.org/abs/1003.0585
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献