Active Bibliography

Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
25 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
9 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
4 A 2-categories companion – Stephen Lack
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
18 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
Abstract – Stephen Lack, Simona Paoli - 2006
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
6 Algebras of higher operads as enriched categories II – Michael Batanin, Mark Weber
FRAMED BICATEGORIES AND MONOIDAL FIBRATIONS MICHAEL SHULMAN – unknown authors - 706
FRAMED BICATEGORIES AND MONOIDAL FIBRATIONS MICHAEL SHULMAN – unknown authors - 706
6 Framed Bicategories and Monoidal Fibrations – Michael Shulman - 2007
6 An Australian conspectus of higher categories – Ross Street - 2004
3 Data Refinement and Algebraic Structure – Yoshiki Kinoshita, John Power - 1996
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000