计算机科学中的数学结构，第6卷
第6卷第1期，1996年2月
Maarten M.Fokkinga先生 :
没有签名的数据类型法律。 1-32 费尔南多·奥雷贾斯 
， 玛丽莎·纳瓦罗 ， 安娜·桑切斯 :
抽象数据类型的代数实现：概念和新组成结果综述。 33-67 玛尔塔·邦吉 ， 乔纳森·芬克 :
低权局域的建构理论。 69-83 埃吉迪奥·阿斯泰西亚诺 ， 毛拉·塞里奥利 :
非严格不关心代数和规范。 85至125
第6卷第2期，1996年4月
尼科莱塔·萨巴迪尼 ， 塞巴斯蒂亚诺·维格纳 ， 罗伯特·F·C·沃尔特斯 :
递归函数注释。 127-139 布鲁诺·库塞尔 ， 延斯·拉格伦 :
树宽有界图集可识别性的等价定义。 141-165 西蒙·安布勒 :
论证语义的分类方法。 167-188 理查德·布鲁特 :
Hopf代数与线性逻辑。 189-217 巴尔 :
附录：切割器空间Chu范畴中张量的可分离性。 213-217
第6卷第3期，1996年6月
科西莫·拉伊夫 ， 乌戈·蒙塔纳里 :
公理化置换等价。 219-249 约拉姆·赫什菲尔德 ， 马克·杰拉姆 ， 法伦·莫勒 :
判定规范化基本并行进程的互模拟等价性的多项式时间算法。 第251页至第259页 安东尼诺·萨利布拉 ， 朱塞佩·斯科洛 :
前机构类别中的插值和紧致性。 261-286 阿诺·阿夫伦 :
交错双门的结构。 287-299 巴尔 :
线性逻辑的模糊模型。 301-312
第6卷第4期，1996年8月
理查德·布鲁特 ， J.罗宾B.科克特 ， 罗伯特·A·G·西利 :
! 还有？- 储存作为张力。 313-351 何塞·路易斯·菲亚德罗 ， 何塞·费利克斯·科斯塔 :
镜子，我手中的镜子：过程行为规范和模型之间的二重性。 353-373 迈克尔·赖斯 :
拓扑类别中的反射对象。 375-386 安妮·普雷勒 ， 吉纳维耶夫·西蒙特 :
自由局部笛卡尔闭范畴的函数完备性——对Martin-Löf依赖类型理论的解释。 387-408
第6卷第5期，1996年10月
本杰明·皮尔斯 ， 戴维德·桑吉奥吉 :
移动进程的键入和子键入。 数学。 结构。 计算。 科学。 6 ( 5 ) : 409-453 ( 1996 ) 阿德里安·菲奇 :
DCPO类大肠杆菌。 数学。 结构。 计算。 科学。 6 ( 5 ) : 455-468 ( 1996 ) 阿德里安娜·B·孔皮诺尼 ， 本杰明·皮尔斯 :
高阶交集类型和多重继承。 数学。 结构。 计算。 科学。 6 ( 5 ) : 469-501 ( 1996 )
第6卷第6期，1996年10月
Detlef Seese公司 :
线性时间可计算问题和一阶描述。 数学。 结构。 计算。 科学。 6 ( 6 ) : 505-526 ( 1996 ) 汉斯·吉尔根·施奈德 :
论范畴图文法和三角图文法中的外向和内向生成。 数学。 结构。 计算。 科学。 6 ( 6 ) : 527-543 ( 1996 ) 克拉克 ， 理查德·肯纳韦 :
事件结构和非正交项图重写。 数学。 结构。 计算。 科学。 6 ( 6 ) : 545-578 ( 1996 ) 埃里克·巴伦德森 ， Sjaak Smetsers公司 :
具有图形重写语义的函数语言的唯一性类型。 数学。 结构。 计算。 科学。 6 ( 6 ) : 579-612 ( 1996 ) 瑞科·赫克尔 ， 安德烈亚·科拉迪尼 ， 哈特穆特·埃里格 ， 迈克尔·勒韦 :
类型化图形转换系统的水平和垂直结构。 数学。 结构。 计算。 科学。 6 ( 6 ) : 613-648 ( 1996 ) 安内格丽特·哈贝尔 ， Detlef丰满 :
术语图缩小。 数学。 结构。 计算。 科学。 6 ( 6 ) : 649-676 ( 1996 )
