Intuitionistic Type Theory (Per Martin Lof 1984)
好不容找到Per Martin Lof在1984年的讲稿,学习DTT的基本文献
用户评论
推荐下载
-
ASN.1per汉语版
asn.1中文版国家标准PER信息技术ASN.1编码规则第2部分:紧缩编码规则(PER)规范
24 2019-05-14 -
per语言入门小骆驼书
Perl填补了低级语言(如C,C++,汇编语言)和高级语言(如shell编程)的空白。低级语言通常难于编码,并且丑陋,但速度快,且无限制;高级语言,在速度上,很难超过书写良好的低级语言。在低级语言里,
29 2019-06-04 -
TDOA_5PER_3.rar
通达OA2008源代码)市面上有人在卖,花费了50多分才下载下来的解压密码ZZZ分为了5个部分
19 2020-01-23 -
TDOA_3PER_3.rar
花费50分才下载下来的,仅用于技术参考请勿用于商业。是看到网上都再买气愤下上传的。
30 2020-01-23 -
BHDCInstall_per U盾驱动
请根据您的U盾证书类型,点击相应的证书驱动程序运行(或保存在本地后再运行)。安装完成后,将U盾证书连接到计算机,系统将自动查找设备直至完成。
25 2020-02-24 -
SQL2000PER安装程序
1.0 简介 *************************************************************** 本文档包含在安装 Microsoft SQL Server
30 2019-01-11 -
muti_per_muti_tar.m
基于脉冲串而非单个脉冲的处理方式称为积累。时域上,积累是将一个波位内连续的多个脉冲重复周期、且同一个距离单元的回波信号叠加起来实现能量积累的。
9 2020-09-02 -
初学per语言l入门详解
对初学者学习perl脚本很好用的一本启蒙教程书
21 2020-05-26 -
garmin minutes per powerkilometer field源码
每分钟每分钟每分钟运动时间 灵感来自
7 2021-05-08 -
plastic waste per capita.csv
在图表中,我们可以看到塑料垃圾的人均产生率,以每人每天公斤计算。在这里,我们看到了大约一个数量级的差异:最高国家——科威特、圭亚那、德国、荷兰、爱尔兰、美国——的人均塑料垃圾量是许多国家(如印度、坦桑
8 2021-04-21
暂无评论