1 paper
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Gödel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to o…