Publisher
Springer Nature Switzerland
Reference30 articles.
1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (1994). https://doi.org/10.1017/CBO9780511600579
2. Baronner, T.: Finite Accessibility of Higher-Dimensional Automata and Unbounded Parallelism of Their Languages. Bachelor’s Thesis, Leiden University, December 2022. https://theses.liacs.nl/2532
3. Bonsangue, M.M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Trans. Comput. Logic 14(1), 7:1–7:52 (2013). https://doi.org/10.1145/2422085.2422092
4. Brown, R., Higgins, P.J.: Tensor products and homotopies for $$\omega $$-groupoids and crossed complexes. J. Pure Appl. Algebra 47(1), 1–33 (1987). https://doi.org/10.1016/0022-4049(87)90099-5
5. Day, B.J.: Construction of Biclosed Categories. Ph.D. thesis, University of New South Wales, September 1970. http://web.science.mq.edu.au/~street/DayPhD.pdf