Monads and Comonads in Intensional Semantics (1993)

by Stephen Brookes, Kathryn Van Stone