19 citations · 55 across the 22 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
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…
cs.LO2023
Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor for stre…