Countable Lawvere Theories and Computational Effects (2006)

Cached


by John Power
Citations:10 - 2 self

Active Bibliography

19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
5 Generic Models for Computational Effects – John Power
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
Presheaf models for the π-calculus – Ian Stark - 1997
4 Tensors of Comodels and Models for Operational Semantics – Gordon Plotkin, John Power
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
2 Logic for Computational Effects: work in progress – Gordon Plotkin
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
2 Some Varieties of Equational Logic (Extended Abstract), Algebra – Gordon Plotkin - 2006
MFPS 25 Preliminary Proceedings Two cotensors in one: Presentations of algebraic theories for local state and fresh names – Sam Staton
1 An algebraic view of program composition – Pietro Cenciarelli - 1998