- Under consideration for publication in J. Functional Programming 1 Gabriel-Ulmer Duality and Lawvere Theories
- The formal theory of monads II # Stephen Lack
- Restriction categories II: Partial map classification
- 2-nerves for bicategories Stephen Lack
- A Quillen model structure for bicategories Stephen Lack
- COALGEBRAS, BRAIDINGS, AND DISTRIBUTIVE LAWS STEFANO KASANGIAN, STEPHEN LACK, AND ENRICO M. VITALE
- Limits for lax morphisms Stephen Lack
- Fields Institute Communications Volume 00, 0000
- A classification of accessible categories Jir Adamek 1,2 Francis Borceux 3 Stephen Lack 1,4 Jir Rosicky 1,5
- Restriction categories I: Categories of partial maps J.R.B. Cockett #
- COMPOSING PROPS STEPHEN LACK
- Van Kampen theorems for toposes Marta Bunge #
- Theoretical Informatics and Applications Will be set by the publisher Informatique Theorique et Applications
- An operadic approach to internal structures Stephen Lack
- Restriction categories III: colimits, partial limits, and extensivity J.R.B. Cockett
- When do completion processes give rise to extensive categories?
- Codescent objects and coherence Stephen Lack #
- A coherent approach to pseudomonads Stephen Lack
- A Quillen model structure for 2categories Stephen Lack #
