Recursive coalgebras from comonads-Reference-Cited by-同舟云学术

Recursive coalgebras from comonads

Published:2006-04 Issue:4 Volume:204 Page:437-468
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Capretta Venanzio,Uustalu Tarmo,Vene Varmo

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference39 articles.

1. J. Adámek, D. Lücke, S. Milius, Recursive coalgebras of finitary functors, in: P. Mosses, J. Power, M. Seisenberger (Eds.), Selected Papers from the CALCO 2005 Young Researchers Workshop, CALCO-jnr 2005 (Swansea, September 2005), Tech. Report CSR 18-2005, Department of Computer Science, University of Wales Swansea, 2005, pp. 1–14.

2. Infinite trees and completely iterative theories: a coalgebraic view;Aczel;Theoret. Comput. Sci.,2003

3. Free iterative theories: A coalgebraic view;Adámek;Math. Struct. Comput. Sci.,2003

4. From iterative algebras to iterative theories (extended abstract);Adámek,2004

5. Generalised coinduction;Bartels;Math. Struct. Comput. Sci.,2003

Cited by 36 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. The Sierpinski Carpet as a Final Coalgebra;Electronic Proceedings in Theoretical Computer Science;2022-11-03

3. Fantastic Morphisms and Where to Find Them;Lecture Notes in Computer Science;2022

4. Steps and traces;Journal of Logic and Computation;2021-08-23

5. On Well-Founded and Recursive Coalgebras;Lecture Notes in Computer Science;2020