威廉·德·罗弗(Willem P.de Roever)。 按名称调用到按值调用的一阶缩减。 (英语) Zbl 0318.68017号 数学。已找到。计算。科学。,第4次研讨会。,Marianske Lazne 1975年,Lect。注释计算。科学。32, 377-398 (1975). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2文件 理学硕士: 68号01 软件理论的一般主题 03B10号机组 经典一阶逻辑 PDF格式BibTeX公司 XML格式