19 citations · 55 across the 22 of their papers we have counts for
4 papers · 1 filter
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…
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…
Non-wellfounded parsimonious proofs and non-uniform complexity
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
In this paper we investigate the complexity-theoretical aspects of cyclic and non-wellfounded proofs in the context of parsimonious logic, a variant of linear logic where the expon…
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 be…