文件名称：martin-lof:Per MartinLöf的论文
文件大小：102.16MB
文件格式：ZIP
更新时间：2024-05-23 14:46:55
TeX
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）进行的一