Journal | Contributors | Profile

(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, Dordrecht, Springer, pp. 313-349.

(2009)., The constructive Hilbert program and the limits of Martin-löf type theory, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 397-433.

(2006). Theories and ordinals in proof theory. Synthese 148 (3), pp. 719-743.

(2005). The constructive Hilbert program and the limits of Martin-Löf type theory. Synthese 147 (1), pp. 81-120.