nLab Stephen Brookes

Selected writings

Selected writings

On (co-)monads (in computer science) and their Kleisli categories:

  • Stephen Brookes, Shai Geva, Computational Comonads and Intensional Semantics, CMU-CS-91-190 (1991) [pdf]

and on their distributive laws:

category: people

Last revised on September 30, 2023 at 06:36:30. See the history of this page for a list of all contributions to it.