Author:
Blute R.F.,Cockett J.R.B.,Seely R.A.G.
Subject
Algebra and Number Theory
Reference23 articles.
1. S. Abramsky, Retracing some paths in process algebra, in: U. Montanari, V. Sassone (Eds.), CONCUR ’96: Concurrency Theory, Proceedings of Seventh International Conference, Pisa, Italy, August 1996, Lecture Notes in Computer Science, vol. 1119, Springer, Berlin, 1996, pp. 1–17.
2. S. Abramsky, R. Blute, P. Panangaden, Nuclear and trace ideals in tensored ∗-categories. J. Pure Appl. Algebra (Special issue in honour of Prof. Michael Barr) 143 (1999) 3–47.
3. New foundations for the geometry of interaction;Abramsky;Inform. and Comput.,1994
4. M. Barr, ∗-Autonomous Categories, Lecture Notes in Mathematics, vol. 752, Springer, Berlin, 1979.
5. Duality of vector spaces;Barr;Cahiers Topologie Géom. Différentielle,1976
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dagger linear logic for categorical quantum mechanics;Logical Methods in Computer Science;2021-11-16
2. Dualizing sup-preserving endomaps of a complete lattice;Electronic Proceedings in Theoretical Computer Science;2021-02-08
3. Guarded Traced Categories;Lecture Notes in Computer Science;2018
4. Towards a typed Geometry of Interaction;Mathematical Structures in Computer Science;2010-04-21
5. Dagger Categories and Formal Distributions;New Structures for Physics;2010