11 citations · 31 across the 16 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
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…
cs.LO2022
Strategies for Asymptotic Normalization
Claudia Faggian, Giulio Guerrieri
We present a technique to study normalizing strategies when termination is asymptotic, that is, it appears as a limit, as opposite to reaching a normal form in a finite number of s…
cs.LO2022
Call-by-Value Solvability and Multi Types
Beniamino Accattoli, Giulio Guerrieri
This paper provides a characterization of call-by-value solvability using call-by-value multi types. Our work is based on Accattoli and Paolini's characterization of call-by-value…