Andrea Corradini
-
A coalgebraic equational approach to specifying observational structures
Theoretical Computer Science
Modal operators and the formal dual of Birkhoff's completeness theorem
Mathematical Structures in Computer Science