1. http://www.mathematik.uni-muenchen.de/~logik/minlog/
. Official homepage of Minlog, as of January 2018.
2. Aschieri, F., & Berardi, S. (2010). Interactive learning-based realizability for Heyting arithmetic with EM1. Logical Methods in Computer Science, 6(3),
3. Avigad, J., & Feferman, S. (1998). Gödel’s functional (“Dialectica”) interpretation. In S. R. Buss (Ed.), Handbook of proof theory (Vol. 137, pp. 337–405)., Studies in logic and the foundations of mathematics Amsterdam: North Holland.
4. Berger, U. (2004). A computational interpretation of open induction. In Proceedings of LICS 2004, pp. 326–334. IEEE Computer Society.
5. Berger, U., & Oliva, P. (2005). Modified bar recursion and classical dependent choice. Lecture Notes in Logic, 20, 89–107.