Toposes of coalgebras and hidden algebras, Coalgebraic Methods in Computer Science (1998)

by J Worrell
Venue:Electronic Notes in Theoretical Computer Science