Godel's Dialectica interpretation and its two-way stretch (1993)

by Solomon Feferman
Venue:in Computational Logic and Proof Theory (G. Gottlob et al eds.), Lecture Notes in Computer Science 713