Michael Rathjen
(2012). Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions. In P. Dybjer, S. Lindström, E. Palmgren, & G. Sundholm (Eds.). Epistemology versus ontology (pp. 313-349). Dordrecht: Springer.
(2009). The constructive Hilbert program and the limits of Martin-löf type theory. In E. Palmgren, & K. Segerberg (Eds.). Logicism, intuitionism, and formalism (pp. 397-433). Dordrecht: Springer.
(2006). Theories and ordinals in proof theory. Synthese, 148 (3), 719-743. https://doi.org/10.1007/s11229-004-6297-0.
(2005). The constructive Hilbert program and the limits of Martin-Löf type theory. Synthese, 147 (1), 81-120. https://doi.org/10.1007/s11229-004-6208-4.