8 citations · 13 across the 6 of their papers we have counts for
1 paper · 1 filter
Gilda Ferreira, Paulo Oliva
Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as ne…