1. A variant of the double-negation translation;Avigad,2006
2. Gödel's functional (“Dialectica”) interpretation;Avigad,1998
3. A functional interpretation for nonstandard arithmetic;van den Berg;Ann. Pure Appl. Log.,2012
4. Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen;Diller;Arch. Math. Log. Grundl.forsch.,1974
5. Factorisation of the classical nonstandard bounded functional interpretation;Dinis,2020