1998._Avigad,_Feferman:_Gödel’s_functional_(“Dialectica”)_interpretation