20 citations · 96 across the 24 of their papers we have counts for
1 paper · 1 filter
Stefano Berardi, Ugo de'Liguoro
We propose a realizability interpretation of a system for quantifier free arithmetic which is equivalent to the fragment of classical arithmetic without "nested" quantifiers, calle…