![Helmut Schwichtenberg](https://commons.wikimedia.org/wiki/Special:FilePath/Schwichtenberg.png?width=250)
Source: Wikimedia Commons
Has participated in:
-
Constructive topology of bishop spaces
-
Program extraction from coinductive proofs and its application to exact real arithmetic
-
Towards an arithmetic for partial computable functionals
-
Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]