PerMartin-Löf的收藏作品
如果有任何不正确或遗失的作品,请通知我们。
标题
日期
1966年
1969年
关于构造数学的注释(Almqvist和Wiksell)
1970年
类型理论(斯德哥尔摩大学预印本)
1971年
1971年
1971年
1972年
1972年
1974年
(逻辑讨论会布里斯托尔会议论文集,1973年7月)
1975年
1975年
(由Peter Hancock撰写的预印本)
1975年
1975年
1976年
1977年
(技术报告)
1979年
(技术报告)
1979年
建构数学与计算机程序设计
1982年
逻辑常数的含义和逻辑法则的正当性
1983年
关于类型理论的域解释的注释
1983年
直觉类型理论(《圣经》(Bibliopolis)书,乔瓦尼•萨宾(Giovanni Sambin)在1980年6月在帕多瓦( Padua)进行的一
评论0