依赖型理论中的交互程序与弱最终余代数

汉科克,安东·塞泽尔.依赖型理论中的交互程序和弱最终余代数.劳拉·克罗西拉,彼得·舒斯特,编辑,从集合和类型到拓扑和分析——构建数学的实用基础.第48卷,共页牛津逻辑指南牛津大学出版社,2005

摘要

缺少摘要。