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

by J Avigad, S Feferman
Venue:Handbook of Proof Theory