Title: Extensional Gödel functional interpretation
Subjects: Intuitionistic mathematics, Proof theory