共 38 条
[1]
Abou-Saleh F, 2013, LECT NOTES COMPUT SC, V7794, P129, DOI 10.1007/978-3-642-37075-5_9
[2]
Aceto L., 2001, Handbook of Process Algebra, P197, DOI DOI 10.1016/B978-044482830-9/50021-7
[4]
Adamek J., 2011, ALGEBRAIC THEORIES
[5]
Adamek J., 2000, COMMENT MATH UNIV CA, V41, P529
[6]
[Anonymous], 2004, THESIS
[7]
Barr M., 2005, THEORY APPL CATEGORI
[9]
Bonsangue Marcello M., 2013, Algebra and Coalgebra in Computer Science. 5th International Conference, CALCO 2013. Proceedings: LNCS 8089, P95, DOI 10.1007/978-3-642-40206-7_9
[10]
Borceux F., 1994, Handbook of Categorical Algebra: Basic Category Theory