Martin Lof类型理论中的编程:简介Programming in Martin Lof's Type Theory: An Introduction
本书对Martin-Lof的类型理论进行了详尽的介绍,并提供了有关多态集,子集,单态集以及全套有用示例的信息。
下载地址
用户评论
