From set-theoretic coinduction to coalgebraic coinduction: some results, some problems (1999)

by Marina Lenisa
Venue:Electronic Notes in Theoretical Computer Science