文件名称:Martin-Lof类型理论中的编程:简介Programming in Martin-Lof's Type Theory: An Introduction
文件大小:693KB
文件格式:PDF
更新时间:2022-11-23 22:59:12
计算机科学
本书对Martin-Lof的类型理论进行了详尽的介绍,并提供了有关多态集,子集,单态集以及全套有用示例的信息。
文件名称:Martin-Lof类型理论中的编程:简介Programming in Martin-Lof's Type Theory: An Introduction
文件大小:693KB
文件格式:PDF
更新时间:2022-11-23 22:59:12
计算机科学
本书对Martin-Lof的类型理论进行了详尽的介绍,并提供了有关多态集,子集,单态集以及全套有用示例的信息。