依赖类型理论中的交互程序

汉科克,安东·塞泽尔.依赖类型理论中的交互程序.彼得·克洛特,赫尔穆特·施维滕贝格,编辑,计算机科学逻辑,第14届EACSL年会,德国菲施巴乔,2000年8月21日至26日,会议记录.第1862卷计算机科学讲义,页317-331、施普林格、,2000 [美国国防部]

摘要

缺少摘要。