计算机科学中的数学结构,第1卷
第1卷第1期,1991年3月
鲁卡·凯德利 , 约翰·C·米切尔 :
记录操作。 3-48 约瑟夫·高根 :
分类宣言。 49-67 纳西索·马蒂-奥列特 , 何塞·梅塞盖尔 :
从Petri网到线性逻辑。 69-101 尤金尼奥·莫吉 :
程序模块的分类理论说明。 103-139
1991年7月第1卷第2期
C.E.马丁 , C.A.R.霍尔 , 何继峰 :
顺序丰富类别中的前置副词。 141-158 巴尔 :
*-自治范畴和线性逻辑。 159-178 罗斯·凯斯利 , 罗杰·F·克鲁 , 何塞·梅塞盖尔 , 沃恩·R·普拉特 :
时间结构。 179-213 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
构造性自然演绎及其“Omega-Set”解释。 215-254
第1卷第3期,1991年11月
吉恩·伊夫·吉拉德 :
一种新的构造逻辑:经典逻辑。 255-296 伊夫·拉丰 , 阿兰·普劳特 :
单体的Church-Rosser性质和同调。 297-326 雅各布施 :
二阶Lambda演算的语义。 327-360 哈特穆特·埃里格 , 安内格丽特·哈贝尔 , 汉斯·约格·克鲁斯基 , 弗朗西斯科·帕里西(Francesco Parisi-Prescce) :
高级替换系统中的并行性和并发性。 361-404
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)