计算机科学中的数学结构，第11卷
第11卷第1期，2001年2月
迪莉娅·凯斯纳 :
显式替换的理论和应用：引言。 1 罗尔·布鲁 :
具有显式替换的纯类型系统。 3-19年 吉尔斯·道克 ， 塞雷斯·哈丁 ， 克洛德·基什内尔 :
HOL-λσ：高阶逻辑的有意一阶表达式。 21-45 爱德华多·博内利 :
具有显式替换的命名lambda演算中的永久性。 47至90 塞萨尔·穆尼奥斯 :
从属类型和显式替换：元理论的发展。 91-129 雷内·维斯特加德 ， J.B.威尔斯 :
切割规则和显式替换。 131-168 雷内·戴维 ， 布鲁诺·纪尧姆 :
具有显式减弱和显式替换的lambda-calculus。 169-206
第11卷第2期，2001年4月
彼得·塞林格 :
控制范畴与对偶：关于lambda-mu演算的范畴语义。 207-260 弗朗索瓦·梅塔耶 :
乘法证明中的隐含交换。 261-272 贾科莫·伦齐 :
Mu-depth 3比2更重要：游戏理论证明。 273-297
第11卷第3期，2001年6月
皮埃尔·路易斯·居里 :
《梭伦湖序言》。 299-300 吉恩·伊夫·吉拉德 :
原地：从逻辑规则到规则逻辑。 301-506
第11卷第4期，2001年8月
马特·费尔特洛 ， 迈克尔·门德勒 ， 尤金尼奥·莫吉 
:
特刊：类型理论中的模式。 507-509 弗兰克·普芬宁 ， 罗文·戴维斯 :
模态逻辑的判断重建。 511-540 彼得·阿策尔 :
Russell-Prawitz模式。 541-554 乔尔·德斯佩罗 ， 皮埃尔·勒鲁 :
函数类型对象上的递归。 555-572 雅各布·M·豪 :
Lax Logic中的证明搜索。 573-588 马洛·法拉利 ， 卡米洛·佛罗伦萨 ， 皮耶朗基罗·米利奥利 :
从中间半导体HA-系统中提取信息-扩展摘要。 589-596
第11卷第5期，2001年10月
第11卷第6期，2001年12月
马克斯·卡诺维奇 ， 杰奎琳·瓦泽利斯 :
霍恩线性逻辑中的经典人工智能规划问题：语义、可表达性、复杂性。 689-716 史蒂文·维克斯 :
强代数=SFP（局部）。 717-742 曼弗雷德·德罗斯特 ， 迪特里希·库斯克 :
可除幺半群中的可识别语言。 743-770 池田康夫 ， Kohji Tomita公司 ， Chiharu Hosono先生 :
关于消除一些高级量词。 771-779
