Author:
Blute Richard,Panangaden Prakash,Slavnov Sergey
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference25 articles.
1. Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensored *-categories. J. Pure Appl. Algebra 143, 3–47 (2000)
2. Barr, M.: *-autonomous Categories. Springer Lecture Notes in Mathematics 752 (1980)
3. Blute, R., Cockett, J.R.B., Seely, R.A.G., Trimble, T.: Natural deduction and coherence for weakly distributive categories. J. Pure Appl. Algebra 13, 229–296 (1996)
4. Blute, R., Ivanov, I., Panangaden, P.: Discrete quantum causal dynamics. Int. J. Theor. Phys. 42, 2025–2041 (2003)
5. Brünner, K.: Deep inference and symmetry in classical proofs. Ph.D. thesis, Dresden Technical University (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献