《理论计算机科学》第50卷
1987年第50卷
吉恩·伊夫·吉拉德 :
线性逻辑。 1-102 约翰·格雷 :
数据类型构造函数的分类方面。 103-135 简·A·伯格斯特拉 , 约翰·V·塔克 :
可计算和半可计算数据类型的代数规范。 137-181 雅克·马佐耶 :
射击队同步问题的六状态最小时间解。 183-238 伊恩·菲利普斯 :
拒绝测试。 241-284 伊尔迪克·塞恩 :
程序非标准逻辑的完全正确性。 285-321 埃里克·瓦格纳 , 哈特穆特·埃里格 :
参数化数据类型的规范约束。 323-349