计算机科学中的数学结构,第10卷
2000年2月第10卷第1期
Healfdene Goguen公司 , 让·古堡-拉雷克 :
序列组合子:lambda演算的Hilbert系统。 1-79 史蒂文·阿沃迪 :
λ-微积分的拓扑表示。 81-96
2000年4月第10卷第2期
巴尔 , 菲利普·斯科特 , 罗伯特·A·G·西利 :
导言。 97-98 米尔贾娜·鲍里萨夫勒耶维奇 , 科斯塔·多森 , 佐兰·佩特里克 :
在带有收缩的置换切口上。 99-136 玛尔塔·邦吉 , 马塞洛·菲奥雷 :
唯一的因子分解提升函子和线性控制过程的类别。 137-163 J.罗宾B.科克特 , 尤尔根·科斯洛夫斯基 , 罗伯特·A·G·西利 :
线性双范畴简介。 165-203 埃斯凡迪亚尔·哈格沃尔迪 :
独特的分解类别、交互几何和组合逻辑。 205-230 滨野正弘 :
乘法线性逻辑的Pontrjagin对偶性和完全完备性(无Mix)。 231-259 乔纳森·塞尔丁 :
结构演算中的列表和其他抽象数据类型。 261-276 保罗·鲁特 :
非交换逻辑II:序列演算和阶段语义。 277-312
第10卷,第3期,2000年6月
马丁·阿巴迪 :
自上而下的封闭关系和可容许性。 313-320 安德鲁·皮特斯 :
参数多态性和操作等效性。 321-359 文森特·帕多瓦尼 :
四阶匹配的判定性。 361-372 拉兹万·迪亚科内斯库 :
基于类别的约束逻辑。 373-407
2000年8月第10卷第4期
埃里克·古堡 :
前言。 409 埃里克·古堡 :
几何和并发:用户指南。 411-425 马丁·劳恩 :
关于并发几何模型中dipath的分类。 427-457 莉丝贝斯·法斯特鲁普 :
环路、双拓扑和死锁。 459-480 菲利普·高彻 :
计算机科学中高维范畴和并发的同伦不变量。 481-524 沃恩·R·普拉特 :
重新审视高维自动机。 525-548 赫利希 , 塞尔吉奥·拉兹鲍姆 :
代数跨度。 549-573
2000年10月第10卷第5期
马尔戈扎塔·莫祖拉德 , 杰西·提什基维奇 , 马雷克·扎昂克 :
简单类型的统计特性。 575-594 贝内代托·因特里吉拉 , E.比亚松 :
关于lambda演算中组合子的不动点数。 595-615 Kohei Honda公司 :
过程理论中的基本结构(1):具有重命名的集合。 617-663
第10卷第6期,2000年12月
克里斯特尔·贝尔 , Marta Z.Kwiatkowska公司 :
概率过程的域方程。 665-717 伦敦帝国学院 , 阿奇姆·荣格 , 克劳斯·凯梅尔 :
线性类型和近似值。 719-745