勤勉的益处
计算机科学中的逻辑
2024-04-22 v1
摘要
本文研究了将传名调用（dCBN）和传值调用嵌入到称为Bang演算的统一框架中的强度。这些嵌入使得能够通过dCBN和dCBV在dBANG中的对应物来确立它们的（静态和动态）性质。虽然文献中已经成功研究了某些特定的静态性质，但动态性质更具挑战性且尚未被探索。我们通过对（简单的）dCBN情况使用标准嵌入，而对（困难的）dCBV情况引入一种新颖的嵌入来实现这一点。此外，我们方法的一个关键点是识别dBANG的勤勉归约序列，这简化了从dBANG到dCBN/dCBV的动态性质的保持。我们通过两个具体应用来说明我们的方法：dCBN和dCBV的合流/分解分别从dBANG的合流/分解中导出。
引用
@article{arxiv.2404.12951,
title = {The Benefits of Diligence},
author = {Victor Arrial and Giulio Guerrieri and Delia Kesner},
journal= {arXiv preprint arXiv:2404.12951},
year = {2024}
}