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
21 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
45 A 2-Categorical Approach To Change Of Base And Geometric Morphisms II – A. Carboni , G.M. Kelly , D. Verity , R.J. Wood - 1998
60 A Semantics for Shape – C. Barry Jay - 1995
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
277 Elements of the Theory of Computation – H Lewis, C Papadimitriou - 1981
325 Three Models for the Description of Language – N Chomsky - 1956
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
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