Author:
Adámek Jiří,Milius Stefan,Velebil Jiří
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Infinite Trees and Completely Iterative Theories: A Coalgebraic View;Aczel;Theoret. Comput. Sci.,2003
2. Free iterative theories: a coalgebraic view;Adámek;Math. Structures Comput. Sci.,2003
3. From Iterative Algebras to Iterative Theories;Adámek;Electron. Notes Theor. Comput. Sci.,2004
4. Locally presentable and accessible categories;Adámek,1994
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Categorical semantics of a simple differential programming language;Electronic Proceedings in Theoretical Computer Science;2021-02-08
2. Elgot Algebras;Logical Methods in Computer Science;2006-11-08
3. The category-theoretic solution of recursive program schemes;Theoretical Computer Science;2006-11