Intuitionistic Type Theory (Per Martin Lof 1984)

Name: Intuitionistic Type Theory (Per Martin Lof 1984)
Rating: 4.5 (35 reviews)
Author: ningcsdnhite

上传者：ningcsdnhite 2020-11-24 11:32:38上传 PDF文件 661.56KB 热度 35次

好不容找到Per Martin Lof在1984年的讲稿,学习DTT的基本文献

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Intuitionistic Type Theory Per Martin Lof1984

好不容找到Per Martin Lof在1984年的讲稿,学习DTT的基本文献

大小：662KB | 2020-11-24 11:32:38
Intuitionistic Type Theory

IntuitionisticTypeTheory

大小：0B | 2019-06-05 05:34:45
Martin Lof类型理论中的编程简介Programming in Martin Lof s Type Theory An Introduction

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

大小：693KB | 2020-08-22 10:29:19
The Proof Theory and Semantics of Intuitionistic Modal Logic

大小：0B | 2019-01-02 10:54:12
Computation Theory John Martin

非常经典的计算理论的书籍,全名 Introduction to Languages and the ...

大小：3.29MB | 2020-11-16 16:02:12
Martin Löf的类型理论中的编程简介Programming in Martin Löf s Type Theory An Introduction

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

大小：105B | 2020-08-30 04:11:31
Categorical Logic and Type Theory

CategoricalLogicandTypeTheoryBartJACOBSResearchFel...

大小：0B | 2019-09-06 09:44:40
A Modern Perspective on Type Theory

AnIntroductiontoMathematicalLogicandTypeTheory--To...

大小：0B | 2019-07-15 04:34:49
Basic Simple Type Theory

TypeTheory入门好书Type-theoryisoneofthemostimportantto...

大小：0B | 2019-07-17 09:00:00
Type Theory and Functional Programming

大小：0B | 2019-01-02 11:01:43
Type Theory & Functional Programming

大小：0B | 2019-01-02 11:01:40
Auslander type conditions and cotorsion theory

Auslander-型条件与余挠理论,黄兆泳,伊山修,我们研究满足Auslander-型条件的环的性...

大小：655KB | 2020-08-09 13:23:50
Type.Inheritance.and.Relational.Theory

Typeinheritanceisthatphenomenonaccordingtowhichwec...

大小：0B | 2019-06-26 18:51:41
Programming In Type Theory.pdf

ProgrammingInTypeTheory.pdf英文版

大小：0B | 2019-06-23 07:13:28
An introduction to game theory Martin J.Osborne

An introduction to game theory（Martin J. Osborne） ...

大小：0B | 2018-12-29 03:14:16
Electronic Structure: Basic Theory and Practical Methods by Richard Martin

大小：0B | 2019-04-07 22:25:12