Relating Two Approaches to Coinductive Solution of Recursive Equations (2004)

Cached

Download Links

by Bart Jacobs
Venue:Milius (Eds.), Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science, CMCS’04 (Barcelona, March 2004), Electron. Notes in Theoret. Comput. Sci
Citations:3 - 2 self

Documents Related by Co-Citation

41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
3 A bialgebraic review of regular expressions, deterministic automata and languages – B Jacobs - 2005
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
22 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
1 Available free for downloading at http://www.cwru.edu/artsci/math/wells/pub/ttt.html – Springer-Verlag - 1983
60 A Semantics for Shape – C. Barry Jay - 1995
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
129 Terminal coalgebras in well-founded set theory, Theoret – Michael Barr - 1993
329 Three Models for the Description of Language – N CHOMSKY - 1956
43 A 2-Categorical Approach To Change Of Base And Geometric Morphisms II – A. Carboni , G.M. Kelly , D. Verity , R.J. Wood - 1998
278 Elements of the Theory of Computation – Harry R Lewis, Christos H Papadimitriou - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
3 On iterable endofunctors – Stefan Milius - 2003
6 Quantales and their applications. Number 234 – K I Rosenthal - 1990
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
22 Adjoint lifting theorems for categories of algebras – P T Johnstone - 1975
97 Vicious Circles – John Barwise, Lawrence Moss - 1996