Codata and comonads (1999)

by R B Kieburtz