里克·布鲁特（编辑）;彼得·塞林格（编辑） CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。 （英语） Zbl 1267.68021号 理论计算机科学电子笔记69.阿姆斯特丹：爱思唯尔。第359页。，仅电子版（2003年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 0942.00057号].索引文章：萨姆森·艾布拉姆斯基；鲍勃·科克，物理痕迹：量子与经典信息处理，1-22[Zbl 1270.68182号]阿达梅克（Adámek，Jiří；）；斯特凡·米利厄斯；吉·维勒比尔，关于有理单子和自由迭代理论，23-46[Zbl 1270.18010号]布鲁姆（Stephen L.Bloom）。；佐尔坦·埃西克，加法设置中唯一的保护固定点：扩展抽象，47-61[Zbl 1270.68187号]皮埃尔·布德斯，非均匀超相干，62-82[Zbl 1270.03126号]Coccia，Matteo；法比奥·加杜奇（Fabio Gadducci）；乌戈·蒙塔纳里，GS（\cdot\Lambda）理论：高阶图的语法，83-100[兹比尔1270.68123]罗宾·科基特；路易吉·桑托卡纳莱、归纳法、共归纳法和伴随词，101-119[Zbl 1270.68190号]埃斯凡迪亚·哈格沃尔迪；保罗·塔布阿达；乔治·帕帕斯，动力和控制系统的互模拟关系，120-136[Zbl 1270.68215号]长谷川、Masahito，追踪单体类的一致性原则，137-155[Zbl 1270.18019号]杰西·休斯；巴特·雅各布斯，因式分解系统和fibrations:迈向fibred Birkhoff变分定理，156-182[Zbl 1270.18003号]J·科斯洛夫斯基。，多元范畴的一元方法，183-208[Zbl 1270.18018号]J.莱尔德。，高阶存储的范畴语义，209-226[Zbl 1270.68068号]弗朗索瓦·拉马克，乘法线性逻辑和fibrations，227-247[Zbl 1270.03044号]保罗·布莱恩·利维，带堆栈的呼叫推送值的伴随模型，248-271[Zbl 1270.68155号]玛丽亚·艾米莉亚·梅埃蒂，乔亚尔通过类型理论的算术宇宙，272-286[Zbl 1270.03144号]斯特凡·米利厄斯，关于可迭代内函子，287-304[Zbl 1270.18012号]卢茨·施罗德，部分等式逻辑的分类，305-322[Zbl 1270.03147号]保罗·泰勒抽象Stone对偶中的局部紧性和Baire范畴定理，323-345[Zbl 1270.54017号]科兹兹托夫·沃伊特基维奇，路径和模拟，346-361[Zbl 1270.68229号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00B25型 杂项特定利益的会议记录 引文：Zbl 0942.00057号 PDF格式BibTeX公司 XML格式引用 \textit{R.Blute}（编辑）和textit{P.Selinger}（编），CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：Elsevier（2003；Zbl 1267.68021） 全文： 链接