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

by Marina Lenisa
Citations:15 - 0 self