PCF的扩展寻址机制，具有显式替换
摘要：扩展 addressing machines 表达式的语法，加入对自然数进行算术运算的指令，并引入反射原理，允许某些 machines 访问自己的地址并执行递归调用。我们证明，由此得到的扩展 addressing machines 自然地模拟了一个具有显式替换的弱 call-by-name PCF。最后，我们证明它们也非常适合表示计算自然数的常规 PCF 程序（闭项）。
作者：Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
论文ID：2212.11147
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22