| 2008 |
|---|
| 12 | EE | Russell O'Connor,
Bas Spitters:
A computer verified, monadic, functional implementation of the integral
CoRR abs/0809.1552: (2008) |
| 2007 |
|---|
| 11 | EE | Bas Spitters,
Herman Geuvers,
Milad Niqui,
Freek Wiedijk:
Preface to the special issue: Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science 17(1): 1 (2007) |
| 10 | EE | Herman Geuvers,
Milad Niqui,
Bas Spitters,
Freek Wiedijk:
Constructive analysis, types and exact real numbers.
Mathematical Structures in Computer Science 17(1): 3-36 (2007) |
| 2006 |
|---|
| 9 | EE | Bas Spitters:
Constructive algebraic integration theory.
Ann. Pure Appl. Logic 137(1-3): 380-390 (2006) |
| 2005 |
|---|
| 8 | EE | Bas Spitters:
Constructive algebraic integration theory without choice.
Mathematics, Algorithms, Proofs 2005 |
| 7 | EE | Bas Spitters:
Almost periodic functions, constructively
CoRR abs/cs/0512009: (2005) |
| 6 | EE | Thierry Coquand,
Bas Spitters:
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems.
J. UCS 11(12): 1932-1944 (2005) |
| 5 | EE | Bas Spitters:
Constructive Results on Operator Algebras.
J. UCS 11(12): 2096-2113 (2005) |
| 4 | EE | Bas Spitters:
Almost periodic functions, constructively.
Logical Methods in Computer Science 1(3): (2005) |
| 3 | EE | Thierry Coquand,
Bas Spitters:
A constructive proof of the Peter-Weyl theorem.
Math. Log. Q. 51(4): 351-359 (2005) |
| 2003 |
|---|
| 2 | EE | Luís Cruz-Filipe,
Bas Spitters:
Program Extraction from Large Proof Developments.
TPHOLs 2003: 205-220 |
| 2002 |
|---|
| 1 | EE | Bas Spitters:
Located Operators.
Math. Log. Q. 48(S1): 107-122 (2002) |
