布拉德·哈特（编辑）;托马斯·库切拉。（编辑）;阿南德·皮莱（编辑）;菲利普·斯科特。（编辑）;罗伯特·A·G·西利。（编辑） 模型、逻辑和高维范畴：向米哈利·麦凯的作品致敬。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。 （英语） Zbl 1243.03004号 CRM会议记录和课堂讲稿53。普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-0-8218-7281-9/pbk）。x、 第426页。(2011). 审核人：Hirokazu Nishimura（筑波） MSC公司：03-06 03C45号机组 03元52分 03C90号 03G30型 18立方厘米 18D05日 18天30分 00B25型 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{B.Hart}（编辑）等人，《模型、逻辑和高维范畴：向米哈利·麦凯的工作致敬》。2009年6月18日至20日，加拿大蒙特利尔CRM会议记录。普罗维登斯，RI:美国数学学会（AMS）（2011；Zbl 1243.03004）
科科特，J.R.B。;西利，R.A.G。 极化范畴理论、模块和游戏语义。 （英语） Zbl 1117.03071号 理论应用。类别。 18, 4-101 (2007).MSC公司：03G30型 18日第10天 18 C50 03楼52 91A05型 18个40 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号 数学。结构。计算。科学。 12，第4期，519-539（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，第4期，313-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.（编辑）等人，《类别在计算机科学中的应用》。LMS研讨会论文集，于1991年7月20日至30日在英国达勒姆大学举行。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列。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.Lect（社会学）。注释序列号。177、45-65（1992年；Zbl 0790.18004）
西利，R.A.G。 线性逻辑、*-自治范畴和余自由余代数。 （英语） 兹比尔0674.03007 计算机科学和逻辑分类，Proc。AMS-IMS-SIAM Jt.公司。1987年科罗拉多州博尔德市夏季研究会议。数学。92, 371-382 (1989). 审核人：S.V.索洛夫 MSC公司：03B70号 18日第15天 03G30型 PDF格式BibTeX公司 XML格式
西利，R.A.G。 高阶多态lambda演算和范畴。二、。 （英语） Zbl 0632.03014号 C.R.数学。阿卡德。科学。，Soc.R.加拿大。 8, 197-201 (1986).MSC公司：03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，C.R.数学。阿卡德。科学。，Soc.R.加拿大。8197--201（1986；Zbl 0632.03014）
西利，R.A.G。 高阶多态lambda演算和范畴。 （英语） Zbl 0632.03013号 C.R.数学。阿卡德。科学。，Soc.R.加拿大。 8, 135-139 (1986).MSC公司：03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，C.R.数学。阿卡德。科学。，Soc.R.加拿大。8135-139（1986年；Zbl 0632.03013）
西利，R.A.G。 局部笛卡尔闭范畴和类型理论。 （英语） Zbl 0539.03048号 数学。程序。外倾角。菲洛斯。Soc公司。 95, 33-48 (1984). 审核人：M.Eytan先生 MSC公司：03G30型 03B15号机组 03F99型 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，数学。程序。外倾角。菲洛斯。Soc.95，33-48（1984；Zbl 0539.03048） 全文： 内政部
罗伯特·A·G·西利。 超学说、自然演绎和贝克条件。 （英语） Zbl 0565.03032号 Z.数学。Logik Grundlagen数学。 29, 505-542 (1983). 审核人：A.科克 MSC公司：03G30型 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，Z.数学。Logik Grundlagen数学。29505--542（1983年；Zbl 0565.03032） 全文： 内政部
西利，R.A.G。 局部笛卡尔闭范畴和类型理论。 （英语） Zbl 0509.03034号 C.R.数学。阿卡德。科学。，Soc.R.加拿大。 4, 271-275 (1982).MSC公司：03G30型 18甲15 03B15号机组 03楼55 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，C.R.数学。阿卡德。科学。，Soc.R.加拿大。4、271--275（1982；Zbl 0509.03034）
西利，R.A.G。 证明理论中的弱伴随。 （英语） Zbl 0438.18002号 滑轮应用程序。Res.Symp.公司。，达勒姆1977年，莱克托。数学笔记。753, 697-701 (1979).MSC公司：18甲15 18D05日 03G30型 03F99型 18A30型 18A40型 PDF格式BibTeX公司 XML格式