Recursive coalgebras from comonads (2006)

Cached

Download Links

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