第八届CTCS 1999:英国爱丁堡
马丁·霍夫曼 , 朱塞佩·罗索里尼 , 达斯科·巴甫洛维奇 :
类别理论与计算机科学会议,CTCS 1999,英国爱丁堡,1999年12月10日至12日。 理论计算机科学电子笔记 29, 爱思维尔 1999 马丁·霍夫曼 , 朱塞佩·罗索里尼 , 达斯科·巴甫洛维奇 :
前言。 1 马雷克·贝德纳西克 , 安德烈·博尔兹科夫斯基(Andrzej M.Borzyszkowski) :
反应系统的并行实现。 2-20 罗伯托·布鲁尼 , 何塞·梅塞盖尔 , 乌戈·蒙塔纳里 , 弗拉迪米罗·萨松 :
个体标记哲学下Petri网的函数语义。 21 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
赤道升降Monads。 22 弗朗西斯科·杜兰 , 何塞·梅塞盖尔 :
结构化理论和制度。 23-41 亚当·埃彭达尔 :
余代数到代数形态。 42-49 林赛·埃尔林顿 :
关于消息传递过程的语义。 50-77 马塞洛·P·菲奥雷 :
过程的纤维模型。 78 彼得·弗雷德 :
路径积分、贝叶斯视觉和高斯求积真的好吗? 79 法比奥·加杜奇 , 瑞科·赫克尔 , 美世拉布拉斯 :
并发图重写的双范畴公理化。 80-100 长谷龙郎 :
解析函数在理论计算机科学中的几个应用。 101 托马斯·希尔德布兰特 :
有限延迟SCCS的完全抽象预处理语义。 102-126 马丁·海兰德 , 安德烈亚·沙尔克 :
线性逻辑的抽象博弈。 127-150 通威高 , C.-H.卢克·翁 :
自治和*-自治类别的内部语言。 151 罗朝晖 , 谢尔盖·索洛维耶夫 :
从属胁迫。 152-168 保罗·马特乌斯 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
组合概率自动机的预分类。 169-186 尤金尼奥·莫吉 , 吉安娜·贝尔 , C.巴里·杰伊 :
单数、形状函子和遍历。 187-208 安德烈·穆拉夫斯基 , C.-H.卢克·翁 :
精疲力竭的策略、小丑游戏和带单位的IMLL。 209-239 扬·帕塞卡 :
对偶v-半格范畴中的Hilbert Q模和核理想。 240-258 约翰·鲍尔 , 丹尼尔·图里 :
线性时间语义学的联合基础。 259-274 道格拉斯·史密斯 :
设计软件:通过优化进行软件开发。 275-287 托马斯·斯特里彻 :
重新定义完整性。 288-300 Hideki Tsuiki先生 :
lax泛型函数的域理论语义。 301-324 马丁·韦尔 :
高维语法。 325-353