计算机科学中的数学结构，第9卷
第9卷第1期，1999年2月
戈登·普洛金 :
完全抽象、总体和PCF。 1至20 费利克斯·科尼利厄斯 ， 迈克尔·巴尔达穆斯 ， 哈特穆特·埃里格 ， 费尔南多·奥雷贾斯 :
抽象和行为模块规范。 21-62 费鲁西奥·达米亚尼 ， Mariangiola Dezani-Ciancaglini公司 ， 保拉·贾尼尼 :
移动进程的过滤器模型。 63-101 简·冯·柏拉图 :
可计算实数的开放区间中的顺序。 103-108 吉尔斯·道克 :
集合、集合和类型。 109-123
第9卷第2期，1999年4月
罗伊·克罗尔 ， 安德鲁·戈登 :
输入/输出效果的相关操作语义和指称语义。 125-158 维拉·特伦科娃 ， 杰里·韦利比尔 :
关于泛化泛域的范畴。 159-175 伯恩哈德再利用 ， 托马斯·斯特里彻 :
一般综合领域理论——一种逻辑方法。 177-223
第9卷第3期，1999年6月
让·保罗·巴洪 ， 何塞·路易斯·菲亚德罗 ， 迪迪埃·加尔米奇 :
前言。 225-226 卡洛斯·H·C·杜阿尔特 :
演员系统设计的验证理论基础。 227-252 乔治·德尔扎诺 ， 迪迪埃·加尔米奇 ， 毛里齐奥·马泰利 :
并发面向对象编程的规范逻辑。 253-286 约瑟夫·高根 ， 格兰特·马尔科姆 :
隐藏的共创性：对象的行为正确性证明。 287-319
第9卷第4期，1999年8月
Mariangiola Dezani-Ciancaglini公司 ， 朱塞佩·隆戈 ， 乔纳森·塞尔丁 :
前言。 321 蒂埃里·科昆 ， 马丁·霍夫曼 :
一种建立经典系统在其直觉版本上保守性的新方法。 323-333 赫尔曼·杰弗斯 ， 埃里克·巴伦森 :
关于一阶相依型系统lambda-P的一些逻辑和句法观察。 335-359 理查德·斯塔特曼 :
关于n而非n+1容易组合子的存在性。 361-365 戴维德·桑吉奥吉 :
从λ到π； 或者，重新发现延续。 367-401 福里奥·霍塞尔 ， 玛丽娜·莱尼萨 :
应用结构的共性特征。 403-435 热拉尔·布多尔 ， 皮埃尔·路易斯·库里恩 ， 卡罗莱娜·拉瓦泰利 :
带有资源的lambda calculi的语义。 437-482 英格·贝斯克 ， 简·威廉·克洛普 ， 罗埃尔·C·德·弗里耶 :
扩展部分组合代数。 483-505 诺曼·丹纳 ， 丹尼尔·利万特 :
分层多态性和原始递归。 507-522
第9卷第5期，1999年10月
阿巴斯·艾达拉特 :
马尔可夫过程范畴中的半回推和互模拟。 523-543 劳伦斯·保尔森 :
最终余代数是ZF集理论中的最大不动点。 545-567 史蒂文·维克斯 :
领域的主题类别。 569-616 阿尔贝托·普拉瓦托 ， 西蒙娜·隆奇·德尔拉·罗卡 ， 卢卡·罗维斯 :
call-by-value[lambda]-演算：语义研究。 617-650
第9卷第6期，1999年12月
乔恩·G·里克 ， 拉梅什·苏布拉曼尼亚姆 :
函数和代数等式推理完成的条件。 651-685 斯特凡诺·卡桑吉安 ， 安娜·拉布拉 :
观察树作为并发模型。 687-718 维南西奥·卡普雷塔 ， 西尔维奥·瓦伦蒂尼 :
证明一阶和二阶型lambda-calculi正规化定理的一般方法。 719-739
