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

View PDF

Download Links

by Furio Honsell , Marina Lenisa