From set-theoretic coinduction to coalgebraic coinduction (1999)

by M Lenisa
Venue:Proceedings of CMCS’99. Electronic Notes in Theoretical Computer Science 19