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

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

Active Bibliography

10 Countable Lawvere Theories and Computational Effects – John Power - 2006
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
10 Semantics for Algebraic Operations – Gordon Plotkin, John Power - 2001
5 Generic Models for Computational Effects – John Power
6 Monads and Adjunctions for Global Exceptions – Paul Blain Levy - 2006
4 Tensors of Comodels and Models for Operational Semantics – Gordon Plotkin, John Power
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
Unifying Theories of Programming with Monads – Jeremy Gibbons
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
Constructing Applicative Functors – Ross Paterson
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
7 MONADS OF EFFECTIVE DESCENT TYPE AND COMONADICITY – Bachuki Mesablishvili
88 Categorical Logic – Andrew M. Pitts - 1995
2 A Theory Of Enriched Sketches – F. Borceux, C. Quinteiro, J. Rosicky - 1998