Invariants of monadic coalgebras

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 1, 2001, Pages 254-270

  Mašulović, Dragan ^a  

^a UNIVERSITY OF NOVI SAD   (Serbia)

Author keywords

Clone theory; Co relations; Coalgebras; Invariants; Monads

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING; COMPUTER SIMULATION; DATA REDUCTION; DATA STRUCTURES; MATHEMATICAL OPERATORS; MATRIX ALGEBRA; SET THEORY; THEOREM PROVING;

CLONE THEORY; CO-RELATIONS; COALGEBRAS; INVARIANTS; MONADS;

BOOLEAN ALGEBRA;

EID: 18944407380     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80912-5     Document Type: Conference Paper

References (11)

1. Csákány B. Completness in coalgebras. Acta Sci. Math. 48:1985;75-84
2. Drbohlav K. On quasicovarieties. Acta Fac. Rerum Natur. Univ. Comenian. Math. Mimoriadne Čislo. 1971;17-20
3. Jacobs B. Mongruences and cofree coalgebras. Alagar V.S., Nivat M. "Algebraic Methods and Software Technology" Lect. Notes Comp. Sci. 936 :1995;245-260 Springer, Berlin
4. Jacobs B.: Invariants, bisimulations and the correctness of coalgebraic refinements, Tech. Rep. CSI-R9704, Comput. Sci. Inst., Univ. of Nijmegen, 1997
5. Moggi E.: A category-theoretic account of program modules, Proc. Conf. Category Theory and Computer Science, Manchester, UK, Sept. 1989, Vol. 389 of Lecture Notes in Computer Science, Springer Verlag, 1989
6. Moggi E.: Computational lambda-calculus and monads, IEEE Symposium on Logic in Computer Science, Asilomar, California, June 1989
7. Pöschel R., Kalužnin L.A. Funktionen- und Relationenalgebren, Ein Kapitel der Diskreten Mathematik. 1979;Deutscher Verlag der Wissenschaften, Berlin
8. Pöschel R., Rößiger M. A general Galois theory for cofunctions and corelations. Algebra Universalis. 43:2000;331-345
9. Rutten M.J.J.M. Universal coalgebra: A theory of systems. Theoretical Computer Science. 249:(1):October 2000;3-80
10. Wadler P. Comprehending Monads. Mathematical Structures in Computer Science. Vol. 2:1992;461-493 Cambridge University Press
11. Wadler P.: The essence of functional programming, Proc. XIX ACM Symposium on Principles of Programming Languages, Santa Fe, New Mexico, 1992 (invited talk)