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

by Jeremy Avigad, Solomon Feferman
Venue:In Handbook of Proof Theory