The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (2007)

by Martin Hyland , John Power
Citations:12 - 0 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
1312 Monads for functional programming – Philip Wadler - 1995
66 Adjoint functors and triples – S Eilenberg, J C Moore - 1965
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
930 Categories for the Working Mathematician – S Mac Lane - 1971
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
218 Caotegories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics – S Mac Lane - 1971
68 Lokal Präsentierbare Kategorien – P Gabriel, F Ulmer - 1971
6 Monads and Adjunctions for Global Exceptions – Paul Blain Levy - 2006
7 Gilad Bracha. The Java Language Specification, Third Edition – James Gosling, Bill Joy, Guy Steele - 2005
4 Matija Pretnar. Handlers of Algebraic Effects – Gordon D Plotkin - 2009
4 Diagrammatic logic applied to a parameterization process – César Domínguez, Dominique Duval - 2009
4 A duality between exceptions and states – Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud - 2012
4 Decorated proofs for computational effects: States – Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud - 2012
24 The Definition of Standard ML, Revised edition – R Milner, M Tofte, R Harper, D MacQueen - 1997
10 Diagrammatic Specifications – D Duval
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005