, 2011, Local constructive set theory and inductive definitions, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 189-207.
, 2009a, A constructive version of the lusin separation theorem, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 129-151.