基础信息学,第121卷
第121卷,编号1-42012
西尔维娅·吉列赞 , 卢卡-保利尼 :
前言。 斯特芬·范·贝克尔 :
具有交集和并集类型的的完整性和稳健性结果。 1-41 塞巴斯蒂安·卡利埃 , J.B.威尔斯 :
膨胀代数。 43-82 何塞·埃斯皮里托·桑托 , Jelena Ivetic公司 , 西尔维娅·利卡维奇 :
具有强烈规范直觉主义术语的特征。 83-120 Fairouz Kamaredine公司 , 文森特·拉里 , J.B.威尔斯 :
λ-微积分中的可约性证明。 121-152 Fairouz Kamaredine公司 , 卡里姆·努尔 , 文森特·拉里 , J.B.威尔斯 :
带扩展变量的交集类型的可实现语义。 153-184 乔治·科莱索斯 :
交叉点类型和终止特性。 185-202 奥利维耶·劳亨 :
通过剪切消除进行子类型划分的交集类型。 203-226 毛罗短笛 :
具有交并类型的π演算中的强正规化。 227-252 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗维斯 :
从理论证明的角度来看交叉点类型。 253-274 伊奥戈斯·斯塔夫里诺斯 , 阿纳斯塔西亚·维内蒂 :
走向并集类型的逻辑。 275-302