From Set-Theoretic Coinduction to Algebraic Coinduction: Some Results, Some Problems (1999)

by M Lenisa
Venue:In Proceedings 2nd Workshop on Coalgebraic Methods in Computer Science, CMCS'99