Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Adámek, J., Herrlich, H., Strecker, G.: Abstract and concrete categories. John Wiley & Sons Inc., New York (1990)
2. Lecture Notes in Computer Science;J.C.M. Baeten,2011
3. Barbosa, L.S.: Towards a calculus of state-based software components. Journal of Universal Comp. Sci. 9, 891–909 (2003)
4. Bonsangue, M.M., Milius, S., Silva, A.: Sound and complete axiomatizations of coalgebraic language equivalence. ACM Trans. Comp. Logic 14(1), 7:1–7:7 (2013)
5. Dubuc, E.: Kan Extensions in Enriched Category Theory. LNM, vol. 145 (1970)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Flexible presentations of graded monads;Proceedings of the ACM on Programming Languages;2022-08-29
2. Flexibly Graded Monads and Graded Algebras;Lecture Notes in Computer Science;2022
3. The costructure–cosemantics adjunction for comodels for computational effects;Mathematical Structures in Computer Science;2021-12-06
4. Steps and traces;Journal of Logic and Computation;2021-08-23
5. Toward a Uniform Theory of Effectful State Machines;ACM Transactions on Computational Logic;2020-07-31