1. Avigad, J., Feferman, S.: Gödel’s functional (“Dialectica”) interpretation. In: Buss, S.R. (ed.) Handbook of Proof Theory, Volume 137 of Studies in Logic and the Foundations of Mathematics, pp. 337–405. North-Holland, Amsterdam (1998)
2. Awodey, S., Eliasson, J.: Ultrasheaves and double negation. Notre Dame J. Form. Log. 45(4), 235–245 (2004) (electronic)
3. Eliasson, J.: Ultrapowers as sheaves on a category of ultrafilters. Arch. Math. Log. 43(7), 825–843 (2004)
4. Escardó, M., Oliva, P.: The Herbrand functional interpretation of the double negation shift. J. Symb. Log. arXiv:1410.4353 (2015)
5. Geyer, C.J.: Radically elementary probability and statistics. Technical Report No. 657, School of Statistics, University of Minnesota. http://www.stat.umn.edu/geyer/nsa/o.pdf (2007)