Preface (Special issue on Constructive analysis, types and exact real numbers)

B.A.W. Spitters, J.H. Geuvers, M. Niqui, F. Wiedijk

Research output: Contribution to journalEditorialAcademicpeer-review

Fingerprint

Dive into the research topics of 'Preface (Special issue on Constructive analysis, types and exact real numbers)'. Together they form a unique fingerprint.

Mathematics