Homomorphisms of coalgebras from predicate liftings
Author
Editor
- Reiko Heckel
- Stefan Milius
Department/s
Publishing year
2013
Language
English
Publication/Series
Lecture Notes in Computer Science
Volume
8089
Issue
Algebra and Coalgebra in Computer Science, CALCO 2013
Document type
Conference paper
Topic
- Philosophy
Status
Published