Author

Profile picture
Bas Spitters
Institute for Computing and Information Sciences, Radboud University Nijmegen
Netherlands
2 articles by this author
Sort by:
Research Article
Constructive Results on Operator Algebras
Bas Spitters
10.3217/jucs-011-12-2096
 28-12-2005
 Unique: 461 | Total: 559  | Access Period:
 2096-2113
HTML
XML
PDF
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: 519 | Total: 608  | Access Period:
 1932-1944
HTML
XML
PDF

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

OK