A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 11, 176-193
- https://doi.org/10.1016/s1571-0661(04)00058-1
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A completeness result for equational deduction in coalgebraic specificationPublished by Springer Nature ,1998
- Coalgebra semantics for hidden algebra: Parameterised objects and inheritancePublished by Springer Nature ,1998
- Towards an algebraic semantics for the object paradigmPublished by Springer Nature ,1994
- On notions of factorization systems and their applications to cone-injective subcategoriesPeriodica Mathematica Hungarica, 1982
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935