Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems.
Journal article, 2005

Author

Thierry Coquand

University of Gothenburg

Bas Spiiters

J.UCS 11

Vol. 11 12 1932-1944

Subject Categories

Mathematical Analysis

More information

Created

10/10/2017