3 papers
cs.LO2024
The Benefits of Diligence
Victor Arrial, Giulio Guerrieri, Delia Kesner
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 embedd…
cs.LO2024
Meaningfulness and Genericity in a Subsuming Framework
Delia Kesner, Victor Arrial, Giulio Guerrieri
This paper studies the notion of meaningfulness for a unifying framework called dBang-calculus, which subsumes both call-by-name (dCbN) and call-by-value (dCbV). We first character…
cs.LO2024
Genericity Through Stratification
Victor Arrial, Giulio Guerrieri, Delia Kesner
A fundamental issue in the -calculus is to find appropriate notions for meaningfulness. It is well-known that in the call-by-name -calculus (CbN) the meaningful terms can b…