8 citations · 8 across the 1 of their papers we have counts for
1 paper
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…