dblp.uni-trier.dewww.uni-trier.de

Bas Spitters Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
12EERussell O'Connor, Bas Spitters: A computer verified, monadic, functional implementation of the integral CoRR abs/0809.1552: (2008)
2007
11EEBas 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)
10EEHerman 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
9EEBas Spitters: Constructive algebraic integration theory. Ann. Pure Appl. Logic 137(1-3): 380-390 (2006)
2005
8EEBas Spitters: Constructive algebraic integration theory without choice. Mathematics, Algorithms, Proofs 2005
7EEBas Spitters: Almost periodic functions, constructively CoRR abs/cs/0512009: (2005)
6EEThierry Coquand, Bas Spitters: Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. J. UCS 11(12): 1932-1944 (2005)
5EEBas Spitters: Constructive Results on Operator Algebras. J. UCS 11(12): 2096-2113 (2005)
4EEBas Spitters: Almost periodic functions, constructively. Logical Methods in Computer Science 1(3): (2005)
3EEThierry Coquand, Bas Spitters: A constructive proof of the Peter-Weyl theorem. Math. Log. Q. 51(4): 351-359 (2005)
2003
2EELuís Cruz-Filipe, Bas Spitters: Program Extraction from Large Proof Developments. TPHOLs 2003: 205-220
2002
1EEBas Spitters: Located Operators. Math. Log. Q. 48(S1): 107-122 (2002)

Coauthor Index

1Thierry Coquand [3] [6]
2Luís Cruz-Filipe [2]
3Herman Geuvers [10] [11]
4Milad Niqui [10] [11]
5Russell O'Connor [12]
6Freek Wiedijk [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)