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

by J Avigad, S Feferman
Venue:Handbook of proof theory, Studies in Logic and the Foundations of Mathematics 137, North-Holland 337–405