A calculus of terms for coalgebras of polynomial functors

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 1, 2001, Pages 161-184

  Goldblatt, Robert ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DIFFERENTIATION (CALCULUS); FUNCTIONS; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; POLYNOMIALS; SEMANTICS; SET THEORY; THEOREM PROVING;

BISIMULATIONS; COALGEBRA; FUNCTORS; MODAL LOGIC;

BOOLEAN ALGEBRA;

EID: 4944256312     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80907-1     Document Type: Conference Paper

References (17)

1. Aczel P. and N. Mendler, A Final Coalgebra Theorem, in: D. H. Pitt et al., editors, Category Theory and Computer Science. Proceedings 1989, Lecture Notes in Computer Science 389, Springer-Verlag, 1989 pp. 357-365.
2. Bell J.L., Slomson A.B. "Models and Ultraproducts," 1969;North-Holland, Amsterdam
3. Chang C.C., Keisler H.J. "Model Theory," 1973;North-Holland, Amsterdam
4. Goldblatt R., What is the Coalgebraic Analogue of Birkhoff's Variety Theorem?, Theoretical Computer Science, to appear. Manuscript available at http://www.mcs.vuw.ac.nz/~rob/papers/what.ps.
5. Hermida C., "Fibrations, Logical Predicates and Indeterminates, " Ph.D. thesis, University of Edinburgh (1993), techn. rep. LFCS-93-277. Also available as Aarhus Univ. DAIMI Techn. rep. PB-462.
6. Hermida C., Jacobs B. Structural induction and coinduction in a fibrational setting. Information and Computation. 145:1998;107-152
7. Jacobs B. Objects and Classes, Coalgebraically. Freitag B., Jones C.B., Lengauer C., Schek H.-J. Object-Orientation with Parallelism and Persistence. 1996;83-103 Kluwer Academic Publishers
8. Jacobs B. "Categorical Logic and Type Theory" 1999;Elsevier
9. Jacobs B., Exercises in Coalgebraic Specification, manuscript for the proceedings of the Mathematics for Information Technology summer school, Oxford, 2000. Available at http://www.cs.kun.nl/~bart/PAPERS/.
10. Jacobs B. Towards a Duality Result in Coalgebraic Modal Logic. Electronic Notes in Theoretical Computer Science. 33:2000;. http://www.elsevier.nl/locate/ entcs.
11. Kurz A. Specifying Coalgebras with Modal Logic. Electronic Notes in Theoretical Computer Science. 11:1998;. http://www.elsevier.nl/locate/entcs
12. Moss L.S. Coalgebraic Logic. Annals of Pure and Applied Logic. 96:1999;277-317
13. Pitts A.M. Categorical Logic. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures. 2000;Oxford University Press
14. Reichel H. An Approach to Object Semantics Based on Terminal Co-Algebras. Mathematical Structures in Computer Science. 5:1995;129-152
15. Rößiger M., From Modal Logic to Terminal Coalgebras, Preprint MATH-AL-3-1998, Technische Universität Dresden (1998), to appear in Theoretical Computer Science.
16. Rutten J. A Calculus of Transition Systems (towards Universal Coalgebra). Ponse A., de Rijke M., Venema Y. Modal Logic and Process Algebra. CSLI Lecture Notes No. 53 :1995;231-256 CSLI Publications, Stanford, California
17. Rutten J. Universal Coalgebra: a Theory of Systems. Theoretical Computer Science. 249:2000;3-80