Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 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) |

1 | Thierry Coquand | [3] [6] |

2 | Luís Cruz-Filipe | [2] |

3 | Herman Geuvers | [10] [11] |

4 | Milad Niqui | [10] [11] |

5 | Russell O'Connor | [12] |

6 | Freek Wiedijk | [10] [11] |