S. Aschieri and . Berardi, Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1, Logical Methods in Computer Science, vol.10, issue.4, 2010.
DOI : 10.2307/2269016

. Aschieri, Transfinite Update Procedures for Predicative Systems of Analysis, Proc. of Computer Science Logic, 2011.

A. Aschieri and . Constructive, Analysis of Learning in Peano Arithmetic, Annals of Pure and Applied Logic, 2011.

S. Aschieri and . Berardi, A New Use of Friedman's Translation: Interactive Realizability, Festschrift of Helmut Schwichtenberg, Ontos-Verlag Series in Mathematical Logic

. Aschieri, Learning Based Realizability for HA + EM1 and 1-Backtracking Games: Soundness and Completeness, Annals of Pure and Applied Logic, to appear

. Aschieri, Interactive Realizability for Second-Order Heyting Arithmetic with EM 1 and SK 1 , preprint

. Aschieri, Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms
URL : https://hal.archives-ouvertes.fr/hal-00685360

J. Avigad, Update Procedures and the 1-Consistency of Arithmetic, MLQ, vol.30, issue.1, 2002.
DOI : 10.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6

J. Avigad, 10 S. Berardi and U. de' Liguoro, Interactive Realizers. A New Approach to Program Extraction from non-Constructive Proofs 11 T. Coquand, A Semantic of Evidence for Classical Arithmetic 12 H. Friedman, Classically and Intuitionistically Provable Recursive Functions, Eliminating Definitions and Skolem Function in First-Order Logic 15 D. Hilbert, P. Bernays, Grundalagen der Matematik Kreisel, On Weak Completeness of Intuitionistic Predicate Logic, pp.280-287, 1939.

J. Krivine, G. Mints, S. Tupailo, W. Bucholz, M. H. Sorensen et al., Realizability Algebras 2: new models of ZF + DC Epsilon Substitution Method for Elementary Analysis, Archive for Mathematical Logic Lectures on the Curry-Howard isomorphism, Studies in Logic and the Intensional Interpretations of Functional of Finite Type, The Journal of Symbolic Logic, 1967. 22 A. Troelstra, Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types, classical Zermelo-Fraenkel set theory, Archive for Mathematical Logic Proc. of the Second Scandinavian Logic Symposium 23 A. Troelstra, Metamathematical Investigations of Intuitionistic Arithmetic and Analysis Studies in Logic and Foundations of Mathematics Constructivism in Mathematics, 1972.