Countable Lawvere Theories and Computational Effects (2006)

Cached


by John Power
Citations:10 - 2 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004
930 Categories for the Working Mathematician – S Mac Lane - 1971
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
31 Structures defined by finite limits in the enriched context 1,” Cahiers de Topologie et Géométrie Différentielle – G M Kelly - 1980
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
140 Handbook of Categorical Algebra – F Borceux - 1994
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
29 Call-by-Push-Value. A Functional/Imperative Synthesis – P B Levy - 2004
17 Enriched lawvere theories,” Theory and Applications of Categories – J Power - 1999
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999