节点复制：理论与实践第条
作者：Delia Kesner；洛伊克·佩罗特；丹尼尔·文图拉
NULL##空##空
迪莉娅·凯斯纳；洛伊克·佩罗特；丹尼尔·文图拉
我们定义并研究了实现高阶节点的术语演算复制。它用于指定两种不同的（弱）评估策略：根据观察显示，按名字呼叫和完全懒惰的按需呼叫等效使用类型理论技术工具。
第20卷第1期
发布日期：2024年1月23日
验收日期：2023年8月2日
提交日期：2022年7月18日
关键词：计算机科学-计算机科学中的逻辑，03B70，F.3.2，F.4.1，D.3.1
