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

Cached

Download Links

by Furio Honsell , Marina Lenisa