Cockett, J. R. B.; Seely, R. A. G. Proof theory of the cut rule. (English) Zbl 1496.03228 Landry, Elaine (ed.), Categories for the working philosopher. Oxford: Oxford University Press. 223-261 (2017). MSC: 03F05 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{R. A. G. Seely}, in: Categories for the working philosopher. Oxford: Oxford University Press. 223--261 (2017; Zbl 1496.03228)
Blute, R.; Cockett, J. R. B.; Seely, R. A. G. The logic of linear functors. (English) Zbl 1020.03063 Math. Struct. Comput. Sci. 12, No. 4, 519-539 (2002). Reviewer: Paul Bankston (Milwaukee) MSC: 03G30 03F52 03F05 PDFBibTeX XMLCite \textit{R. Blute} et al., Math. Struct. Comput. Sci. 12, No. 4, 519--539 (2002; Zbl 1020.03063) Full Text: DOI
Cockett, J. R. B.; Seely, R. A. G. Finite sum-product logic. (English) Zbl 0969.03071 Theory Appl. Categ. 8, 63-99 (2001). MSC: 03G30 03F05 03B70 03F07 91A05 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{R. A. G. Seely}, Theory Appl. Categ. 8, 63--99 (2001; Zbl 0969.03071) Full Text: EuDML EMIS
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. Feedback for linearly distributive categories: Traces and fixpoints. (English) Zbl 0964.03063 J. Pure Appl. Algebra 154, No. 1-3, 27-69 (2000). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03F52 03G30 18D10 03B70 03F05 19D23 PDFBibTeX XMLCite \textit{R. F. Blute} et al., J. Pure Appl. Algebra 154, No. 1--3, 27--69 (2000; Zbl 0964.03063) Full Text: DOI
Cockett, J. R. B.; Seely, R. A. G. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. (English) Zbl 0879.03022 Theory Appl. Categ. 3, 85-131 (1997). Reviewer: S.V.Solov’ev (Durham) MSC: 03G30 03F05 03F07 18D15 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{R. A. G. Seely}, Theory Appl. Categ. 3, 85--131 (1997; Zbl 0879.03022) Full Text: EuDML EMIS
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. Categories for computation in context and unified logic. (English) Zbl 0879.03021 J. Pure Appl. Algebra 116, No. 1-3, 49-98 (1997). Reviewer: S.V.Solov’ev (Durham) MSC: 03G30 03F05 18D25 03F07 18D15 PDFBibTeX XMLCite \textit{R. F. Blute} et al., J. Pure Appl. Algebra 116, No. 1--3, 49--98 (1997; Zbl 0879.03021) Full Text: DOI
Cockett, J. R. B.; Seely, R. A. G. Weakly distributive categories. (English) Zbl 0790.18004 Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 45-65 (1992). Reviewer: P.Bankston (Milwaukee) MSC: 18D05 03G30 03F05 PDFBibTeX XMLCite \textit{J. R. B. Cockett} and \textit{R. A. G. Seely}, Lond. Math. Soc. Lect. Note Ser. 177, 45--65 (1992; Zbl 0790.18004)