计算机科学中的数学结构,第6卷
第6卷第1期,1996年2月
马滕·福克加 :
没有签名的数据类型法律。 1-32 费尔南多·奥雷贾斯 , 玛丽莎·纳瓦罗 , 安娜·桑切斯 :
抽象数据类型的代数实现:概念和新组成结果综述。 33-67 玛尔塔·邦吉 , 乔纳森·芬克 :
低权局域的建构理论。 69-83 Astesiano埃吉迪欧 , 毛拉·塞里奥利 :
非严格不关心代数和规范。 85-125
第6卷第2期,1996年4月
尼科莱塔·萨巴迪尼 , 塞巴斯蒂亚诺·维格纳 , 罗伯特·F·C·沃尔特斯 :
关于递归函数的一个注记。 127-139 布鲁诺·库塞尔 , 延斯·拉格伦 :
有界树宽图集可识别性的等价定义。 141-165 西蒙·安布勒 :
论证语义的分类方法。 167-188 理查德·布鲁特 :
霍普夫代数和线性逻辑。 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月
本杰明·C·皮尔斯 , 戴维德·桑吉奥吉 :
移动进程的键入和子键入。 数学。 结构。 计算。 科学。 6 ( 5 ) : 409-453 ( 1996 ) 阿德里安·菲奇 :
DCPO类大肠杆菌。 数学。 结构。 计算。 科学。 6 ( 5 ) : 455-468 ( 1996 ) 阿德里安娜·B·孔皮诺尼 , 本杰明·C·皮尔斯 :
高阶交集类型和多重继承。 数学。 结构。 计算。 科学。 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 )