Martin-Lof类型理论中的编程：简介Programming in Martin-Lof's Type Theory: An Introduction

【文件属性】：

文件名称：Martin-Lof类型理论中的编程：简介Programming in Martin-Lof's Type Theory: An Introduction

文件大小：693KB

文件格式：PDF

更新时间：2022-11-23 22:59:12

计算机科学

本书对Martin-Lof的类型理论进行了详尽的介绍，并提供了有关多态集，子集，单态集以及全套有用示例的信息。