Articles by Author

Author

Thierry Coquand

Chalmers University
Sweden

1 article by this author

Sort by:

Formal ...

Research Article

Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems

Thierry Coquand, Bas Spitters

10.3217/jucs-011-12-1932

28-12-2005

Unique: 560 | Total: 662

1932-1944

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics