Toposes of Coalgebras and Hidden Algebras
暂无分享,去创建一个
[1] Horst Reichel,et al. Defining Equations in Terminal Coalgebras , 1994, COMPASS/ADT.
[2] Grant Malcolm,et al. Behavioural Equivalence, Bisimulation, and Minimal Realisation , 1995, COMPASS/ADT.
[3] Bart Jacobs,et al. Objects and Classes, Co-Algebraically , 1995, Object Orientation with Parallelism and Persistence.
[4] S. Lane. Categories for the Working Mathematician , 1971 .
[5] S. Lane,et al. Sheaves In Geometry And Logic , 1992 .
[6] Robert E. Kent. The Metric Closure Powerspace Construction , 1987, MFPS.
[7] J. Rutten. A calculus of transition systems (towards universal coalgebra) , 1995 .
[8] Bart Jacobs,et al. Mongruences and Cofree Coalgebras , 1995, AMAST.
[9] Corina Cîrstea,et al. Coalgebra semantics for hidden algebra: Parameterised objects an inheritance , 1997, WADT.
[10] D. Turi,et al. Functional Operational Semantics and its Denotational Dual , 1996 .
[11] Peter Aczel,et al. A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.
[12] Peter Aczel,et al. Non-well-founded sets , 1988, CSLI lecture notes series.
[13] Michael Barr,et al. Terminal Coalgebras in Well-Founded Set Theory , 1993, Theor. Comput. Sci..
[14] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[15] John Power,et al. An axiomatics for categories of coalgebras , 1998, CMCS.
[16] Colin McLarty,et al. Elementary categories, elementary toposes , 1992 .
[17] Sally Popkorn,et al. A Handbook of Categorical Algebra , 2009 .