Recursive coalgebras from comonads (2006)

View PDF

Download Links

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