缺少摘要。
- 过程类型作为交互控制和Pi-Calculus的描述性工具Kohei Honda公司,吉田信子,马丁·伯杰.1-20 [美国国防部]
- 语义分析的并发编程语言和方法（受邀谈话的扩展摘要）曼弗雷德·施密特·沙乌.21-30 [美国国防部]
- 取消嵌套Copatterns安东·塞泽尔,安德烈亚斯·阿贝尔,布里吉特·皮恩特卡,大卫·西博多.31-45 [美国国防部]
- 用持久性和递减图证明术语重写系统的合流性高仁青藤,富山义彦,Kazumasa Uchida公司.46-60 [美国国防部]
- 重写理论的谓词抽象Kyungmin Bae公司,何塞·梅塞盖尔.61至76 [美国国防部]
- 统一与对数空间克莱门特·奥伯特,马克·巴格诺尔.77-92 [美国国防部]
- 作为完备关系的直觉性质的拉姆齐定理斯特凡诺·贝拉迪,西尔维娅·斯特拉.93-107 [美国国防部]
- 保护型理论中的一个可数非决定论模型Ales Bizjak啤酒,拉尔斯·比克达尔,马里诺·米库兰.108-123 [美国国防部]
- 通过饱和度降低可容许性纪尧姆·伯勒.124-138 [美国国防部]
- 上下文无关语法的自动评估（系统描述）卡尔斯·克鲁斯,吉勒姆·戈多伊.139-148 [美国国防部]
- 兄弟间高度约束的树自动机卡尔斯·克鲁斯,吉勒姆·戈多伊.149-163 [美国国防部]
- 无穷Lambda-演算的共导性合流证明卢卡斯·扎伊卡.164-178 [美国国防部]
- 多项式时间决定集的无Cons-Free重写隐式刻画丹尼尔·德·卡瓦略,雅各布·格鲁·西蒙森.179-193 [美国国防部]
- 交集和并集类型的子类型精确性Mariangiola Dezani-Ciancaglini公司,西尔维娅·吉勒赞.194-207 [美国国防部]
- 类型理论中实数的抽象数据类型马丁·霍泽尔·埃斯卡多,亚历克斯·辛普森.208-223 [美国国防部]
- 相关类型Lambda编码的自身类型彭福,亚伦·斯塔姆.224-239 [美国国防部]
- 一阶形成规则卡斯滕·福斯,辛西娅·科普.240-256 [美国国防部]
- 基于上下文敏感重写的复杂度自动分析Nao Hirokawa先生,格奥尔格·莫瑟.257至271 [美国国防部]
- 摊销资源分析与类型多项式解释马丁·霍夫曼0001,乔治·莫瑟.272-286 [美国国防部]
- 通过关键对分析合并刘嘉祥,纳丘姆·德肖维茨,Jean-Pierre Jouannaud女士.287-302 [美国国防部]
- 无限重写的证明条件卡洛斯·隆巴迪,亚历杭德罗·里奥斯,罗埃尔·德弗里杰尔（Roel de Vrijer）.303-318 [美国国防部]
- 抗伸缩结构的施工罗伯托·梅利.319-333 [美国国防部]
- 字符串图中的局部状态保罗·安德烈·梅利埃.334-348 [美国国防部]
- 扩展Lambda-mu演算的约化系统中泽浩二,永井裕久.349-363 [美国国防部]
- 纯型系统的结构理论科迪·鲁克斯,弗洛里斯·范·道恩.第364-378页 [美国国防部]
- 用AMB进行回调Lambda演算中的May-Should模拟曼弗雷德·施密特·沙乌,大卫·萨贝尔.379-394 [美国国防部]
- 隐含关联逻辑是2-ExpTime-Complete西尔万·施密茨.395-409 [美国国防部]
- 近半环与Lambda演算里克·斯塔特曼.第410页至第424页 [美国国防部]
- 全路径可达性逻辑安德烈·斯特凡内斯库,斯特凡·西奥巴,拉杜·梅雷塔,布兰登·M·摩尔,Traian-Florin塞尔维亚人,格里戈·罗苏.425-440 [美国国防部]
- 证明终止和复杂性的单调代数形式化克里斯蒂安·斯特纳格尔,雷内·蒂曼.441-455 [美国国防部]
- 条件合流（系统描述）托马斯·斯特纳格尔,阿尔特·米德尔多普.456-465 [美国国防部]
- 名古屋终止工具山田秋久0002,库萨卡里（Keiichirou Kusakari）,酒井俊彦.466-475 [美国国防部]
- 循环终止重写汉斯·赞特马,芭芭拉·科尼格,哈里·扬·桑德·布鲁金克.476-490 [美国国防部]