Repository | Directory | Profile
References
Helmut Schwichtenberg
Program extraction in constructive analysis
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Repository | Directory | Profile
Program extraction in constructive analysis
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer