目录

• 前言、目录、前言、会议组织 [美国国防部]
• 更新Monads:Cointerpreting定向容器丹尼尔·艾哈曼,塔尔莫·乌斯塔卢.1-23 [美国国防部]
• 验证马尔可夫原理的“游戏语义”直觉可实现性费德里科·阿舍里,玛格丽塔·佐齐.24-44 [美国国防部]
• 虚拟化理想模型的正式验证实现吉尔斯·巴特,古斯塔沃·贝塔特,胡安·迭戈·坎波,杰苏斯·毛里西奥·奇门托,卡洛斯·卢纳.45-63 [美国国防部]
• 作为直觉算术经典原理的配对拉姆齐定理斯特凡诺·贝拉迪,西尔维娅·斯特拉.64-83 [美国国防部]
• 从证明中提取强制程序：就地快速排序乌尔里希·伯杰,莫妮卡·塞森伯格,格雷戈里·J·M·伍兹.84-106 [美国国防部]
• 三次集的类型理论模型马克·贝泽姆,蒂埃里·科昆,西蒙·胡贝尔.107-128 [美国国防部]
• “函数”交集类型的同构马里奥·科波奥,Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚,马达莱娜·扎基.129-149 [美国国防部]
• 约束转移系统的混合线性逻辑乔尔·德斯佩罗,考斯特夫·乔杜里.150-168 [美国国防部]
• 公鸡和句法括号雨果·赫贝林,Arnaud Spiwack公司.169-187 [美国国防部]
• 用限定控制算子直接证明康托空间上的开归纳法丹科·伊利克,中田惠子.188-201 [美国国防部]
• 蒙塔哥维生成词汇Lambda Ty_n：一个自然语言语义学的类型理论框架克里斯蒂安·雷托雷.202-229 [美国国防部]
• 一种高阶祈使语言的Krivine机器的认证扩展莱昂纳多·罗德里格斯,丹尼尔·弗里德兰德,米盖尔·帕加诺.230-250 [美国国防部]
• 类型理论中的定义扩张陶雪.251-269 [美国国防部]