Martin Löf的类型理论中的编程:简介Programming in Martin Löf's Type Theory: An Introduction
类型理论作为程序构建理论的简介。 从计算科学的角度描述不同的类型理论(类型,多态和单态集以及子集的理论)。
下载地址
用户评论
