缺少摘要。
- Call-by-Value游戏萨姆森·阿布拉姆斯基,盖伊·麦库斯克.1-17
- LISA：一种基于WS2S的规范语言阿卜杜勒瓦赫布·阿亚里,大卫·A·巴思,安德烈亚斯·波德尔斯基.18-34
- 作为计算引擎的进化罗尔夫·巴科芬,彼得·克洛特.35-55
- 永恒的游戏帕特里克·贝洛特,文森特·达诺斯,托马斯·埃尔哈德,劳伦特·雷格尼尔.56至77
- 从动作演算到线性逻辑安德鲁·巴伯,菲利普·加德纳,长谷正彦,戈登·普洛金.78-97
- 包络的序贯演算皮耶罗·A·博纳蒂,尼古拉·奥利韦蒂.98-114
- 含代换Frege系统的线性下限及其仿真玛丽亚·路易莎·博内,尼古拉·加莱西.115-128
- 基于依赖关系的线性逻辑公式托本·布鲁纳,瓦莱丽娅·德·佩瓦.129-148
- 分辨率与弱鸽子洞原理塞缪尔·巴斯,托尼安·皮塔西.149-156年
- 高阶匹配与树自动机休伯特·科蒙,Yan Jurski先生.157-176
- 赞特玛问题的实证理论研究蒂埃里·科昆,亨利克·佩尔森.177-188
- 只有一元函数符号的谱阿诺德·杜兰德,罗纳德·费金,伯恩德·洛舍尔.189-202
- 基于基本逻辑的经典证明克劳迪娅·法根.203-219
- L:：：k:：-等价很难规范化马丁·格罗.220-238
- 具有高阶值传递的函数/并发语言的完全抽象（扩展抽象）克莱萨菲斯·哈托纳斯,马修·轩尼诗.239-254
- 定量语义的二重性理论雷霍德·赫克曼,伦敦帝国学院.255-274
- 一种混合模态/线性Lambda演算及其在Bellantoni-Cook安全递归中的应用马丁·霍夫曼.275-294
- 测试代数的等式公理马可·霍伦伯格.295-310年
- Mona和Fido：实践中的逻辑-自动连接尼尔斯·克拉伦德.311-326
- 存在约简层次结构奥尔娜·库普夫曼,罗伯特·P·库尔山,米哈利斯·扬纳卡基斯.327-340
- 具有完全递归的类型Lambda演算的博弈论、并发和公平模型伊安尼斯·莫肖瓦基斯.341-359
- 非确定性线性时间的关联逻辑表征油炸橄榄.360-372
- 关于2型泛函的计算复杂性埃琳娜·佩佐利.373-388
- 具有代数结构的范畴A.约翰·鲍尔.389-405
- 并发约束编程与非交换逻辑保罗·鲁特,弗朗索瓦·法赫斯.406-423
- 图上一元二阶逻辑的层次化方法伊娜·希林.424-440
- 网格和图片上的一元量词交替层次妮可·施韦卡特.441-460
- 填充与存在二阶逻辑的表达能力托马斯·施温蒂克.461-477
- 丰富的欧米伽单词和一元二阶算术路德维希·斯泰格.478-490
- 哥德尔T的简单序贯递归正规化保罗·J·沃达.491-509