From algebras and coalgebras to dialgebras

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 1, 2001, Pages 289-307

  Poll, Erik ^a   Zwanenburg, Jan ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; FUNCTIONS; MATHEMATICAL OPERATORS; OBJECT ORIENTED PROGRAMMING; POLYNOMIALS; SET THEORY; THEOREM PROVING;

BISIMULATION; COALGEBRAS; DIALGEBRAS; FUNCTOR;

BOOLEAN ALGEBRA;

EID: 0004565801     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80915-0     Document Type: Conference Paper

References (23)

1. Bidoit M., Hennicker R., Wirsing M. Behavioral and abstractor specifications. Science of Computer Programming. 25:1995;149-186
2. Bruce K.B., Cardelli L., Castagna G., the Hopkins Objects Group (J. Eifrig, S. Smith, V. Trifonov), G.T. Leavens, and B.C. Pierce. On Binary Methods. Theory and Practice of Object Systems. 1:(3):1996;221-242
3. Cirstea C. An algebra-coalgebra framework for system specification. Reichel H. Coalgebraic Methods in Computer Science (CMCS'2000), number 19 in ENTCS. 2000;81-112 Elsevier, Amsterdam
4. T. Hagino. A categorical programming language. PhD thesis, University of Edinburgh, 1987.
5. Hannay J. Specification Refinement with System F. Flum J., Rodriguez-Artalejo M. Computer Science Logic (CSL '99), volume 1683 of LNCS. September 1999;530-545 Springer-Verlag
6. Hannay J. A Higher Order Simulation Relation for System F. 2000;130-145 Springer-Verlag
7. Hennicker R., Kurz A. (Ω, Ξ)-logic: On the algebraic extension of coalgebraic specifications. Jacobs B., Rutten J. Coalgebraic Methods in Computer Science, number 19 in ENTCS. 1999;195-212 Elsevier, Amsterdam
8. U. Hensel, M. Huisman, B. Jacobs, and H. Tews. Reasoning about classes in object-oriented languages: Logical models and tools. In Ch. Hankin, editor, European Symposium on Programming (ESOP), number 1381 in Lecture Notes in Computer Science, pages 105-121. Springer, 1998.
9. Hofmann M., Sannella D. On behavioural abstraction and behavioural satisfaction in higher-order logic. Theoretical Computer Science. 167:1996;3-45
10. Jacobs B. Invariants, bisimulations and the correctness of coalgebraic refinements. Johnson M. Algebraic Methodology and Software Technology (AMAST'97). LNCS :1997;276-291 Springer
11. Jacobs B., Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. 62:June 1997;222-259
12. Mitchell J.C. Foundations of Programming Languages. 1996;MIT Press
13. Mitchell J.C., Plotkin G.D. Abstract types have existential type. ACM Trans. on Prog. Lang. and Syst. 10:(3):1988;470-502
14. Plotkin G.D., Abadi M. A logic for parametric polymorphism. Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. 1993;361-375
15. Poll E. A coalgebraic semantics of subtyping. Reichel H. Coalgebraic Methods in Computer Science (CMCS'2000), number 33 in ENTCS. 2000;281-299 Elsevier
16. Poll E., Zwanenburg J. A logic for abstract data types as existential types. Girard J.-Y. Typed Lambda Calculi and Applications (TLCA '99), volume 1581 of LNCS. 1999;310-324 Spinger
17. Reichel H. An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science. 5:1995;129-152
18. H. Reichel. Nested sketches. Technical Report ECS-LFCS-98-401, Edinburgh University, Laboratory for Foundations of Computer Science, 1998.
19. Reichel H. Specification semantics. Astesiano E., Kreowski H.-J., Krieg-Brückner B. Algebraic Foundations of System Specifications. 1998;131-158 Springer
20. Rothe J., Tews H., Jacobs B. The coalgebraic class specification language CCSL. Journal of Universal Computer Science. 7:(2):2001;175-193
21. Rutten J. Universal coalgebra: a theory of systems. Theoretical Computer Science. 249:2000;3-80
22. Tews H. Coalgebras for binary methods. Reichel H. Coalgebraic Methods in Computer Science (CMCS'2000), number 33 in ENTCS. 2000;Elsevier, Amsterdam
23. J. Zwanenburg. Object-Oriented Concepts and Proof Rules: Formalization in Type Theory and Implementation in Yarrow. PhD thesis, Eindhoven University of Technology, 1999.