Publisher
Springer International Publishing
Reference32 articles.
1. Awodey, S.: Category Theory. Oxford University Press, Oxford (2010)
2. Bartels, F.: On generalized coinduction and probabilistic specification formats. Ph.D. thesis, Vrije Universiteit Amsterdam (2004)
3. Bonchi, F., Bonsangue, M.M., Boreale, M., Rutten, J., Silva, A.: A coalgebraic perspective on linear weighted automata. Inf. Comput. 211, 77–105 (2012)
4. Beck, J.: Distributive laws. In: Eckmann, B. (ed.) Seminar on Triples and Categorical Homology Theory, pp. 119–140. Springer, Heidelberg (1969)
5. Lecture Notes in Computer Science;MM Bonsangue,2013