Monads and Comonads in Intensional Semantics (2006)
Brookes, Stephen, Van Stone, Kathryn
Kleisli categories over monads have been used in denotational semantics to describe functional languages using various notions of computations as values. Kleisli categories over comonads have also...
A denotational approach to measuring complexity in functional programs / (2003)
Abstract: "Functional languages are considered useful in part because their applicative structure makes it easier to reason about the value returned by a program (its extensional behavior). When one...