计算机科学中的数学结构,第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月
乔恩·里克 , 拉梅什·苏布拉曼尼亚姆 :
函数和代数等式推理完成的条件。 651-685 斯特凡诺·卡桑吉安 , 安娜·拉布拉 :
观察树作为并发模型。 687-718 维南西奥·卡普雷塔 , 西尔维奥·瓦伦蒂尼 :
证明一阶和二阶型lambda-calculi正规化定理的一般方法。 719-739