摘要：用按值调用求值策略来模拟按值调用程序的一种高阶重写形式——短论文研究。我们简要介绍了一个成本大小语义到按值重写的变体：一类将项映射到同时约束了归约成本和正规形式大小的元组的代数解释。
作者：Cynthia Kop and Deivid Vale
论文ID：2307.13426
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-26
PDF 下载： 英文版 中文版pdf翻译中