References

1. Federico Aschieri & Stefano Berardi (2010): Interactive Learning-Based Realizability for Heyting Arithmetic with EM_1. Logical Methods in Computer Science 6(3), doi:10.2168/LMCS-6(3:19)2010.
2. Stefano Berardi & Ugo de'Liguoro (2008): A Calculus of Realizers for EM_1 Arithmetic (Extended Abstract). In: CSL, pp. 215–229, doi:10.1007/978-3-540-87531-4_17.
3. Giovanni Birolo (2013): Interactive Realizability, Monads and Witness Extraction. University of Turin. Available at http://arxiv.org/abs/1304.4091.
4. A.S. Troelstra & D. van Dalen (1988): Constructivism in Mathematics. Studies in Logic and the Foundations of Mathematics. Elsevier Science. Available at http://books.google.it/books?id=-tc2qp0-2bsC.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org