19 citations · 55 across the 22 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
Postponement of raa and Glivenko's theorem, revisited (extended version)
Giulio Guerrieri, Alberto Naibo
This article focuses on the technique of postponing the application of the reduction ad absurdum rule (raa) in classical natural deduction. First, it is shown how this technique is…
cs.LO2017★ 4 cited
Implementing Open Call-by-Value (Extended Version)
Beniamino Accattoli, Giulio Guerrieri
The 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 proof assist…