Furio Honsell, Marina Lenisa. Coalgebraic Coinduction in (Hyper)set-theoretic Categories. Electronic Notes in Theoretical Computer Science, 33:132-159, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.