1 paper
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
Choice and independence of premise principles play an important role in characterizing Kreisel's modified realizability and Gödel's Dialectica interpretation. In this paper we show…