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

【文件属性】：

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

文件大小：105B

文件格式：TXT

更新时间：2022-12-05 11:30:20

计算机科学

类型理论作为程序构建理论的简介。 从计算科学的角度描述不同的类型理论（类型，多态和单态集以及子集的理论）。