On the definition of the classical connectives and quantifiers, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01252221
On various negative translations. arXiv preprint, 2011. ,
Classically and intuitionistically provably recursive functions, Higher set theory, pp.21-27, 1978. ,
DOI : 10.1007/BFb0103100
Zur intuitionistischen arithmetik und zahlentheorie, Ergebnisse eines mathematischen Kolloquiums, vol.4, pp.34-38, 1933. ,
On the principle of excluded middle, pp.646-66724, 1925. ,
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
Intuitionistische Untersuchungen der formalistischen Logik, Nagoya Mathematical Journal, vol.2, pp.35-47, 1951. ,
DOI : 10.1017/S0027763000010023
Syntactic translations and provably recursive functions, The Journal of Symbolic Logic, vol.38, issue.03, pp.682-688, 1985. ,
DOI : 10.2307/2274322
Extracting constructive content from classical proofs, 1990. ,