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