1. Gödel's functional (“Dialectica”) interpretation;Avigad,1998
2. On the computational content of the axiom of choice;Berardi;J. Symb. Log.,1998
3. A semantics of evidence for classical arithmetic;Coquand;J. Symb. Log.,1995
4. The Dialectica categories;de Paiva,1991
5. On the relation between various negative translations;Ferreira,2013