1 citations · 3 across the 6 of their papers we have counts for
6 papers
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…
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…
Strong Call-by-Value and Multi Types
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
This paper provides foundations for strong (that is, possibly under abstraction) call-by-value evaluation for the lambda-calculus. Recently, Accattoli et al. proposed a form of cal…
The Theory of Call-by-Value Solvability (long version)
Beniamino Accattoli, Giulio Guerrieri
The denotational semantics of the untyped lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different…
A Deep Inference System for Differential Linear Logic
Matteo Acclavio, Giulio Guerrieri
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference for…
Open Call-by-Value (Extended Version)
Beniamino Accattoli, Giulio Guerrieri
The elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proo…