126363

References

Helmut Schwichtenberg

Program extraction in constructive analysis

2009

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

Open Access Link