Pseudo-distributive laws (2004)

Cached

Download Links

by Eugenia Cheng , Martin Hyland , John Power
Citations:11 - 0 self

Active Bibliography

45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
BIEQUIVALENCES IN TRICATEGORIES – Nick Gurski
4 A 2-categories companion – Stephen Lack
THE CORE OF ADJOINT FUNCTORS – Ross Street
ON THE COHERENCE CONDITIONS FOR – Pseudo-distributive Laws, Nicola Gambino - 907
5 Generic Models for Computational Effects – John Power
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
12 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
13 From Coherent Structures to Universal Properties – Claudio Hermida - 1999
Towards a Categorical Axiomatics of Bisimulation – Gian Luca Cattani, A. John Power, Glynn Winskel - 1999
18 A Categorical Axiomatics for Bisimulation – John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani - 1998
Monad Combinators, Non-Determinism and Probabilistic Choice [Extended abstract] – Neil Ghani, Tarmo Uustalu
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
4 Local Reasoning about Data Update – Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
The – Eugenia Cheng - 708