Recursive coalgebras from comonads (2006)

Cached

Download Links

by Venanzio Capretta , Tarmo Uustalu , Varmo Vene
Venue:Inform. and Comput
Citations:9 - 3 self