Composing monads. TechnicalReport YALEU/DCS/RR-1004 (1993)

by M Jones, L Duponcheel
Venue:Bulletins of the Australian Mathematical Society,22:1- 83