Active Bibliography

Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
26 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
4 A 2-categories companion – Stephen Lack
8 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
23 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
12 Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory – Thomas M. Fiore
6 Lax Naturality Through Enrichment – Yoshiki Kinoshita, John Power - 1995
1 A Representation Result for Free Cocompletions – A. John Power, Gian Luca Cattani, Glynn Winskel - 1999
6 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
Abstract – Stephen Lack, Simona Paoli - 2006
8 Countable Lawvere Theories and Computational Effects – John Power - 2006
3 Framed Bicategories and Monoidal Fibrations – Michael Shulman - 2007
FRAMED BICATEGORIES AND MONOIDAL FIBRATIONS MICHAEL SHULMAN – unknown authors - 706
FRAMED BICATEGORIES AND MONOIDAL FIBRATIONS MICHAEL SHULMAN – unknown authors - 706
3 Algebras of higher operads as enriched categories II – Michael Batanin, Mark Weber
4 An Australian conspectus of higher categories – Ross Street - 2004
3 Data Refinement and Algebraic Structure – Yoshiki Kinoshita, John Power - 1996
10 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003