1. B. Biering, L. Birkedal, C. Butz, J.M.E. Hyland, J. van Oosten, G. Rosolini, T. Streicher, Topos theoretic versions of Dialectica interpretations, 2007, Unpublished draft
2. Bodil Biering, The Copenhagen interpretation, 2007, Unpublished draft
3. Bodil Biering, Dialectica interpretations: A categorical analysis, Ph.D. Thesis, IT University of Copenhagen, 2008
4. Introduction to extensive and distributive categories;Carboni;J. Pure Appl. Algebra,1993
5. The Dialectica categories;de Paiva,1989