Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. P. Aczel, M. Mendler, A final coalgebra theorem, Lecture Notes in Computer Science, Vol. 389, Springer, Berlin, 1989, pp. 357–365.
2. On abstract data types presented by multiequations;Adámek;Theoret. Comput. Sci.,2002
3. J. Adámek, H.-E. Porst, From varieties of algebras to covarieties of coalgebras, Electronic Notes in Theoretical Computer Science, Vol. 44.1, 2001.
4. On Varieties and Covarieties in a Category;Adámek;Math. Struct. Comput. Sci.,2003
5. Locally Presentable and Accessible Categories;Adámek,1994
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献