Author:
Adámek Jiří,Lücke Dominik,Milius Stefan
Subject
Computer Science Applications,General Mathematics,Software
Reference14 articles.
1. P. Aczel and N. Mendler,A Final Coalgebra Theorem, Proceedings Category Theory and Computer Science, edited by D.H. Pittet al.Lect. Notes Comput. Sci.(1989) 357–365.
2. Terminal coalgebras and free iterative theories
3. J. Adámek and V. Trnková,Automata and Algebras in Categories. Kluwer Academic Publishers (1990).
4. J. Adámek, D. Lücke and S. Milius,Recursive coalgebras of finitary functors, in CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, edited by P. Mosses, J. Power and M. Seisenberger, Report Series, University of Swansea, 1–14.
5. Terminal coalgebras in well-founded set theory
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献