G. Dowek, On the definition of the classical connectives and quantifiers, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01252221

G. Ferreira and P. Oliva, On various negative translations. arXiv preprint, 2011.

H. Friedman, Classically and intuitionistically provably recursive functions, Higher set theory, pp.21-27, 1978.
DOI : 10.1007/BFb0103100

K. Gödel, Zur intuitionistischen arithmetik und zahlentheorie, Ergebnisse eines mathematischen Kolloquiums, vol.4, pp.34-38, 1933.

A. Nikolaevich and K. , On the principle of excluded middle, pp.646-66724, 1925.

J. Krivine, Op??rateurs de mise en m??moire et traduction de G??del, Archive for Mathematical Logic, vol.3, issue.4, pp.241-267, 1990.
DOI : 10.1007/BF01792986

S. Kuroda, Intuitionistische Untersuchungen der formalistischen Logik, Nagoya Mathematical Journal, vol.2, pp.35-47, 1951.
DOI : 10.1017/S0027763000010023

D. Leivant, Syntactic translations and provably recursive functions, The Journal of Symbolic Logic, vol.38, issue.03, pp.682-688, 1985.
DOI : 10.2307/2274322

R. Chetan and . Murthy, Extracting constructive content from classical proofs, 1990.