126359

References

Peter Aczel

Local constructive set theory and inductive definitions

2011

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link
A constructive version of the lusin separation theorem

2009

in: Logicism, intuitionism, and formalism, Dordrecht : Springer

Open Access Link