Inheritance and cofree constructions

This publication has 12 references indexed in Scilit:

• Objects And Classes, Co-Algebraically
  Published by Springer Nature ,1996
• An approach to object semantics based on terminal co-algebras
  Mathematical Structures in Computer Science, 1995
• Mongruences and cofree coalgebras
  Published by Springer Nature ,1995
• A Denotational Semantics of Inheritance and Its Correctness
  Information and Computation, 1994
• A categorical manifesto
  Mathematical Structures in Computer Science, 1991
• Concepts and paradigms of object-oriented programming
  ACM SIGPLAN OOPS Messenger, 1990
• A semantics of multiple inheritance
  Information and Computation, 1988
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Realization is universal
  Theory of Computing Systems, 1972
• Categories for the Working Mathematician
  Published by Springer Nature ,1971