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