The following publications are possibly variants of this publication:
- Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1Federico Aschieri. mscs, 24(6), 2014. [doi]
- Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1Federico Aschieri, Stefano Berardi, Giovanni Birolo. csl 2013: 45-60 [doi]
- Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completenessFederico Aschieri. APAL, 164(6):591-617, 2013. [doi]
- Learning, realizability and games in classical arithmeticFederico Aschieri. PhD thesis, Queen Mary University of London, UK, 2011. [doi]
- Interactive Realizability for Classical Peano Arithmetic with Skolem AxiomsFederico Aschieri. csl 2012: 31-45 [doi]
- A Calculus of Realizers for EM1 Arithmetic (Extended Abstract)Stefano Berardi, Ugo de Liguoro. csl 2008: 215-229 [doi]