Coalgebraic Coinduction in (Hyper)set-theoretic Categories (2000)
by
Furio Honsell
,
Marina Lenisa
Document Versions
| Coalgebraic Coinduction in (Hyper)set-theoretic Categories –Furio Honsell, Marina Lenisa — 2000 |
