Gödel's Functional ("Dialectica") Interpretation Jeremy Avigad Solomon Feferman 10.1184/R1/6491921.v1 https://kilthub.cmu.edu/articles/journal_contribution/G_del_s_Functional_Dialectica_Interpretation/6491921 Department of Philosophy technical report 1999-01-01 00:00:00 Philosophy