Functional Interpretations: from the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory - Diller Justus (World Scientific, 2019)
Keywords: Mathematics