Reichel Defining Equations in Terminal Coalgebras (1995)

by Ulrich Hensel, Horst
Venue:In Recentr Trends in Data Type Specifications, Springer. Lecture Notes in Computer Science 906