Coalgebraic Coinduction in (Hyper)set-theoretic Categories (2000)

Cached

Download Links

by Furio Honsell , Marina Lenisa

Document Versions

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