This paper studies the strength of embedding Call-by-Name ({\tt dCBN}) and Call-by-Value ({\tt dCBV}) into a unifying framework called the Bang Calculus ({\tt dBANG}). These embeddings enable establishing (static and dynamic) properties of {\tt dCBN} and {\tt dCBV} through their respective counterparts in {\tt dBANG}. While some specific static properties have been already successfully studied in the literature, the dynamic ones are more challenging and have been left unexplored. We accomplish that by using a standard embedding for the (easy) {\tt dCBN} case, while a novel one must be introduced for the (difficult) {\tt dCBV} case. Moreover, a key point of our approach is the identification of {\tt dBANG} diligent reduction sequences, which eases the preservation of dynamic properties from {\tt dBANG} to {\tt dCBN}/{\tt dCBV}. We illustrate our methodology through two concrete applications: confluence/factorization for both {\tt dCBN} and {\tt dCBV} are respectively derived from confluence/factorization for {\tt dBANG}.

翻译：本文研究了将按名调用（{\tt dCBN}）和按值调用（{\tt dCBV}）嵌入到统一框架“Bang演算”（{\tt dBANG}）中的有效性。这些嵌入使得能够通过{\tt dBANG}中的对应性质来建立{\tt dCBN}和{\tt dCBV}的（静态和动态）性质。尽管某些特定的静态性质已在文献中得到成功研究，但动态性质更具挑战性且尚未被探索。我们通过为（简单的）{\tt dCBN}情形使用标准嵌入，同时为（困难的）{\tt dCBV}情形引入一种新颖嵌入来实现这一目标。此外，我们方法的关键在于识别{\tt dBANG}的勤勉归约序列，这有助于将动态性质从{\tt dBANG}保持到{\tt dCBN}/{\tt dCBV}。我们通过两个具体应用说明该方法：分别从{\tt dBANG}的合流/因子化推导出{\tt dCBN}和{\tt dCBV}的合流/因子化。