Peter Aczel
Local constructive set theory and inductive definitions
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
A constructive version of the lusin separation theorem
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer