|
9
|
Restriction categories II: Partial map classification
– J R B Cockett, Stephen Lack
|
|
12
|
Dominical categories: recursion theory without elements
– R A Di Paola, A Heller
- 1987
|
|
51
|
Categories of partial maps
– E Robinson, G Roslini
- 1988
|
|
5
|
More existence theorems for recursion categories, Annals of Pure and Applied Logic 125
– F Lengyel
- 2004
|
|
3
|
STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES
– J. R. B. Cockett, Xiuzhan Guo
|
|
4
|
Restriction categories III: Partial structures, in preparation
– J R B Cockett, Stephen Lack
- 1988
|
|
85
|
R.F.C.Walters. Introduction to extensive and distributive categories
– A Carboni, S Lack
- 1993
|
|
103
|
Weakly Distributive Categories
– Cockett Seely, J. R. B. Cockett, R. A. G. Seely
- 1991
|
|
13
|
Abundant semigroups
– J Fountain
- 1982
|
|
40
|
Strong functors and monoidal monads
– A Kock
- 1972
|
|
26
|
The Partial Lambda-Calculus
– Eugenio Moggi, Ph. D
- 1988
|
|
3
|
Pathologies” in two syntactic categories of partial maps
– Franco Montagna
- 1989
|
|
3
|
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic
– Robert A Di Paola, Franco Montagna
- 1991
|
|
2
|
Continuity and effectiveness in topoi, D.phil
– G Rosolini
- 1986
|
|
10
|
An existence theorem for recursive categories
– A Heller
- 1990
|
|
2
|
Boolean and classical restriction categories
– J Cockett, E Manes
- 2009
|
|
29
|
Category Theory for Computing
– M Barr, C Wells
- 1999
|
|
2
|
Categories with finite limits and stable binary coproducts can be subdirectly decomposed
– J R B Cockett
- 1992
|
|
2
|
Creurer, Descent of internal categories
– I Le
- 1999
|
