Variations on Algebra: monadicity and generalisations of equational theories (2001)

Cached

Download Links

by Edmund Robinson
Venue:Formal Aspects of Computing
Citations:25 - 0 self

Active Bibliography

2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
4 A 2-categories companion – Stephen Lack
Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
5 Generic Models for Computational Effects – John Power
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
9 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
15 Enriched Lawvere Theories – John Power
18 Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory – Thomas M. Fiore
1 Categories: A Free Tour РLutz Schr̦der
1 A Representation Result for Free Cocompletions – A. John Power, Gian Luca Cattani, Glynn Winskel - 1999
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
96 How to Declare an Imperative – Philip Wadler - 1995
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
3 Interactive programs and weakly final coalgebras (extended version – Anton Setzer, Peter Hancock