Types and coalgebraic structure (2005)

by H P Gumm, T Schröder
Venue:Algebra Universalis