From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems (1999)

Cached

Download Links

by Marina Lenisa
Venue:In Jacobs and Rutten [JR99
Citations:15 - 0 self