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