Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. A complete calculus for equational deduction in coalgebraic specification;Corradini,1998
2. B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, European Conference on Object-Oriented Programming, volume 1098 of LNCS. Springer, 1996.
3. Objects and classes, coalgebraically;Jacobs,1996
4. L.S. Moss. Coalgebraic logic. To appear in the Annals of Pure and Applied Logic.
5. An approach to object semantics based on terminal coalgebras;Reichel;Mathematical Structures in Computer Science,1995
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-well-founded trees in categories;Annals of Pure and Applied Logic;2007-04
2. Behavioral abstraction is hiding information;Theoretical Computer Science;2004-10
3. Posthume Wirkung und Stationen der Rezeption;Walter Benjamin;2004
4. Incompleteness of Behavioral Logics;Electronic Notes in Theoretical Computer Science;2000