科科特,J.R.B。;西利,R.A.G。 极化范畴理论、模块和博弈语义。 (英语) Zbl 1117.03071号 理论应用。类别。 18, 4-101 (2007).MSC公司:03G30型 18日第10天 18 C50 03楼52 91A05型 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{R.A.G.Seely},理论应用。类别。18、4--101(2007;Zbl 1117.03071) 全文: 欧洲DML EMIS公司
R.F.布鲁特。;科科特,J.R.B。;西利,R.A.G。 差异类别。 (英语) Zbl 1115.03092号 数学。结构。计算。科学。 16,第6期,1049-1083(2006).MSC公司:03G30型 03楼52 18日第10天 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,《数学》。结构。计算。科学。16,第6号,1049--1083(2006;Zbl 1115.03092) 全文: 内政部
科科特,J.R.B。;M.长谷川。;西利,R.A.G。 自治范畴上双重对合的一致性。 (英语) Zbl 1120.03045号 理论应用。类别。 17, 17-29 (2006). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03楼52 18日第10天 18日第15天 03G30型 19日23 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}等人,理论应用。类别。17、17-29(2006年;Zbl 1120.03045) 全文: 欧洲DML EMIS公司
布拉特,R。;科科特,J.R.B。;西利,R.A.G。 线性函子的逻辑。 (英语) Zbl 1020.03063号 数学。结构。计算。科学。 第4519-539号第12页(2002年). 审核人:保罗·班克斯顿(密尔沃基) MSC公司:03G30型 03楼52 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Blute}等人,数学。结构。计算。科学。12,第4号,519--539(2002;Zbl 1020.03063) 全文: 内政部
科科特,J.R.B。;西利,R.A.G。 有限和积逻辑。 (英语) Zbl 0969.03071号 理论应用。类别。 8, 63-99 (2001).MSC公司:03G30型 05年3月 03B70号 07年3月 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{R.A.G.Seely},理论应用。类别。8、63-99(2001年;Zbl 0969.03071) 全文: 欧洲DML EMIS公司
R.F.布鲁特。;科科特,J.R.B。;西利,R.A.G。 线性分布类别的反馈:轨迹和固定点。 (英语) Zbl 0964.03063号 J.纯应用。代数 154,编号1-3,27-69(2000). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03楼52 03G30型 18日第10天 03B70号 05年3月 19日23 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,J.Pure Appl。代数154,No.1--3,27-69(2000;Zbl 0964.03063) 全文: 内政部
科克特,J.R.B。;西利,R.A.G。 线性分配函子。 (英语) Zbl 0946.18005号 J.纯应用。代数 143,编号1-3,155-203(1999). 审核人:P.T.Johnstone(剑桥) MSC公司:18日第25天 03B60号 07年3月 18日第10天 03G30型 68问题55 18A22型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{R.A.G.Seely},J.Pure Appl。代数143,No.1--3,155--203(1999;Zbl 0946.18005) 全文: 内政部
科科特,J.R.B。;西利,R.A.G。 弱分布类别。 (英语) Zbl 0867.18008号 J.纯应用。代数 114,第2期,第133-173页(1997年). 审核人:Y.Diers(Faches-Thumesnil) MSC公司:18日第10天 03G30型 18D05日 18B35型 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{R.A.G.Seely},J.Pure Appl。代数114,No.2,133--173(1997;Zbl 0867.18008) 全文: 内政部
科科特,J.R.B。;西利,R.A.G。 全直觉线性逻辑、双线性逻辑和MIX范畴的证明理论。 (英语) Zbl 0879.03022号 理论应用。类别。 3, 85-131 (1997). 审核人:S.V.Solov'ev(达勒姆) MSC公司:03G30型 05年3月 07年3月 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{R.A.G.Seely},理论应用。类别。3、85--131(1997年;Zbl 0879.03022) 全文: 欧洲DML EMIS公司
R.F.布鲁特。;科克特,J.R.B。;西利,R.A.G。 上下文和统一逻辑中的计算类别。 (英语) Zbl 0879.03021号 J.纯应用。代数 116,编号1-3,49-98(1997). 审核人:S.V.Solov'ev(达勒姆) MSC公司:03G30型 05年3月 18日第25天 07年3月 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,J.Pure Appl。代数116,No.1--3,49-98(1997;Zbl 0879.03021) 全文: 内政部
R.F.布鲁特。;科科特,J.R.B。;西利,R.A.G。;Trimble,T.H。 弱分布范畴的自然演绎与连贯。 (英语) Zbl 0858.03064号 J.纯应用。代数 113,第3期,229-296(1996).MSC公司:03G30型 18日第10天 03B70号 07年3月 19日23 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,J.Pure Appl。《代数113》,第3期,229--296(1996;Zbl 0858.03064) 全文: 内政部
R.F.布鲁特。;科科特,J.R.B。;西利,R.A.G。 ! 和?–存储为张量强度。 (英语) Zbl 0860.18004号 数学。结构。计算。科学。 6,编号4133-351(1996). 审核人:Hirokazu Nishimura(筑波) MSC公司:18日99 03G30型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}等人,《数学》。结构。计算。科学。6,第4号,313--351(1996;Zbl 0860.18004) 全文: 内政部
科科特,J.R.B。;西利,R.A.G。 弱分布类别。 (英语) Zbl 0790.18004号 Fourman,M.P.(编辑)等人,《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥:剑桥大学出版社。伦敦。数学。Soc.勒克特。注释序列号。177, 45-65 (1992). 审核人:P.Bankston(密尔沃基) MSC公司:18D05日 03G30型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和textit{R.A.G.Seely},伦敦。数学。Soc.勒克特。注释序列号。177、45-65(1992年;Zbl 0790.18004)