《理论计算机科学》第212卷
第212卷,编号1-2,1999年2月6日
马金·本克 :
子类型不等式的一些复杂性边界。 3-27 亚历山德罗·贝拉杜奇 , Mariangiola Dezani-Ciancaglini公司 :
无限lambda-微积分和类型。 29-75 哈罗德·博利 :
通过最小互反扩展实现功能逻辑集成。 77-99 维维亚娜·博诺 , 米歇尔·布列西 :
匹配lambda对象微积分。 101-140 罗伊·戴克霍夫 , 路易斯·平托 :
直觉序贯演算中证据的可置换性。 141-155 马丁·埃姆斯 , 汉斯·雷 :
用多态递归扩展标准ML的类型检查器。 157-181 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
lambda-Calculus中永久策略的语义分析。 183-209 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
阶数、约简图和谱。 211-231 阿道夫·皮佩诺 :
Böhm-Out技术的代数视图。 233-246 赫尔穆特·施维赫滕贝格 :
直觉主义Gentzen演算中置换转换的终止。 247-260 迪特尔·斯普林 :
关于保持逼近水平的函数:各种lambda演算的精细模型构造。 261-303
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)