×
Martin-Löf，P。

建构数学和计算机编程。 （英语） Zbl 0552.03040号

菲洛斯。事务处理。英国皇家学会。，A类 312, 501-518 (1984).
转载自科学的逻辑、方法论和哲学VI，Proc。第六届国际会议。，1979年汉诺威，《逻辑发现》。数学。104, 153-175 (1982;Zbl 0541.03034号).

引用于2评论
引用于45文件

MSC公司：

第03页第55页 直觉数学
03楼50 构造系统的元数学
68问题65 抽象数据类型；代数规范
68号01 软件理论的一般主题

关键词：

直觉逻辑;程序设计语言;构造数学与计算机程序设计的关系;直觉类型论;自动化

引文：

Zbl 0541.03034号
PDF格式BibTeX公司 XML格式引用
\文本｛P.Martin-Löf｝，菲洛斯。事务处理。英国皇家学会。，序列号。A 312，501--518（1984；Zbl 0552.03040）
全文： 内政部