Monads and Comonads in Intensional Semantics (1993)

by Stephen Brookes, Kathryn V Stone