具有显式替换的PCF扩展寻址机第条
作者:Benedetto Intrigila;朱利奥·曼佐内托;尼古拉斯·穆尼奇
NULL##空##空
贝内代托·因特里吉拉;朱利奥·曼佐内托;尼古拉斯·穆尼奇
寻址机器已经被引入作为一种构造模型的形式纯的、无类型的lambda-calculus。我们通过以下方式扩展了他们程序的语法添加对自然数执行算术运算的指令,以及引入反射原理,允许某些机器访问自己的机器寻址并执行递归调用。我们证明了寻址机器自然地用显式的替换。最后,我们表明他们也非常适合代表计算自然数的常规PCF程序(封闭项)。
卷:第1卷-MFPS第三十八届会议记录
发布日期:2023年2月22日
验收日期:2022年12月22日
提交日期:2022年12月22日
关键词:计算机科学-计算机科学中的逻辑
基金: 来源:OpenAIRE Graph- 概率程序语义; 资助者:法国国家研究局(ANR);代码:ANR-19-CE48-0014
- 结合分级和交叉类型进行资源分析; 资助者:法国国家研究局(ANR);代码:ANR-18-CE25-0001