Gödel’s functional (“Dialectica”) interpretation (1998)

by Jeremy Avigad, Solomon Feferman
Venue:In Handbook of proof theory, volume 137 of Stud. Logic Found. Math