Types and coalgebraic structure (2005)

by H Peter Gumm, Tobias Schröder
Venue:Algebra Universalis