文件名称：Intuitionistic Type Theory (Per Martin Lof 1984)
文件大小：662KB
文件格式：PDF
更新时间：2013-12-21 09:40:14
Type Theory, Depedent Type Theory,
好不容找到Per Martin Lof在1984年的讲稿，学习DTT的基本文献
Intuitionistic Type Theory (Per Martin Lof 1984)
【文件属性】：
网友评论
- 好不容易找到了这个资源，谢谢分享。