|
2
|
Restriction categories III: colimits, partial limits, and extensivity
– J. R. B. Cockett, Stephen Lack
- 2006
|
|
7
|
The Extensive Completion Of A Distributive Category
– J.r.b. Cockett, Stephen Lack, D Ex /b
- 2001
|
|
|
Restrictions, Ranges, Partial Map Categories, and Fibrations
– unknown authors
|
|
8
|
On Property-Like Structures
– G. M. Kelly, Stephen Lack
- 1997
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
3
|
STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES
– J. R. B. Cockett, Xiuzhan Guo
|
|
1
|
Introduction to Turing categories
– J. R. B. Cockett, Pieter J. W. Hofstra
|
|
4
|
Categories for Synchrony and Asynchrony
– J.R.B. Cockett, D. A. Spooner
- 1995
|
|
10
|
Modelling environments in call-by-value programming languages
– Paul Blain Levy, John Power, Hayo Thielecke
- 2003
|
|
6
|
Geometric and higher order logic in terms of abstract Stone duality
– Paul Taylor
- 2000
|
|
8
|
Countable Lawvere Theories and Computational Effects
– John Power
- 2006
|
|
2
|
Familial 2-functors and parametric right adjoints
– Mark Weber
|
|
|
Representation of Relations By Partial Maps
– Bernhard Banaschewski, Xiaomin Dong, Walter Tholen
|
|
3
|
An Equational Notion of Lifting Monad
– Anna Bucalo, Carsten Führmann, Alex Simpson
- 2003
|
|
1
|
Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic
– Peter Knijnenburg, Peter Kn, I Jnenburg, Frank Nordemann
- 1993
|
|
|
I Basic Categories 6
– J. R. B. Cockett
- 2010
|
|
30
|
Operads In Higher-Dimensional Category Theory
– Tom Leinster
- 2004
|
|
2
|
Combining a Monad and a Comonad
– John Power, Hiroshi Watanabe
|
|
10
|
A Coalgebraic Foundation for Linear Time Semantics
– John Power, Daniele Turi
- 1999
|
