Go home now Header Background Image
Submission Procedure
share: |
Follow us

Bas Spitters
Radboud University Nijmegen, the Netherlands

B. Spitters:
Constructive Results on Operator Algebras
page 2096 - 2113
Vol.11 / Issue 12
T. Coquand, B. Spitters:
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
page 1932 - 1944
Vol.11 / Issue 12