Author:
Petrić Zoran,Trimble Todd
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference28 articles.
1. Balteanu, C., Fiedorowicz, Z., Schwänzl, R., Vogt, R.: Iterated monoidal categories. Adv. Math. 176, 277–349 (2003)
2. Bondy, J.A., Murty, U.S.R.: Graph Theory with Applications. North-Holland, Amsterdam (1976)
3. Došen, K., Petrić, Z.: The maximality of cartesian categories. Math. Log. Q. 47, 137–144 (2001)
4. Došen, K., Petrić, Z.: Generality of proofs and its Brauerian representation. J. Symb. Log. 68, 740–750 (2003)
5. Došen, K., Petrić, Z.: Proof-Theoretical Coherence. KCL Publications (College Publications), London (2004) (revised version available at: http://www.mi.sanu.ac.rs/~kosta/coh.pdf )
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coherence for closed categories with biproducts;Journal of Pure and Applied Algebra;2021-03
2. The n-fold reduced bar construction;Journal of Homotopy and Related Structures;2017-10-11
3. SEGAL'S MULTISIMPLICIAL SPACES;PUBL I MATH-BEOGRAD;2015