Helmut Schwichtenberg
(2000-2009)
XProgram extraction in constructive analysis
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
(2000-2009)
XProgram extraction in constructive analysis
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer