Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bas Spitters
2010 – today
- 2013
[c7]Evgeny Makarov, Bas Spitters: The Picard Algorithm for Ordinary Differential Equations in Coq. ITP 2013: 463-468- [i5]
- 2012
- [j17]Chris Heunen, Nicolaas P. Landsman, Bas Spitters: Bohrification of operator algebras and quantum logic. Synthese 186(3): 719-752 (2012)
- 2011
- [j16]Robbert Krebbers, Bas Spitters: Type classes for efficient exact real arithmetic in Coq. Logical Methods in Computer Science 9(1) (2011)
- [j15]Thierry Coquand, Erik Palmgren, Bas Spitters: Metric complements of overt closed sets. Math. Log. Q. 57(4): 373-378 (2011)
- [j14]Bas Spitters, Eelis van der Weegen: Type classes for mathematics in type theory. Mathematical Structures in Computer Science 21(4): 795-825 (2011)
- [c6]Robbert Krebbers, Bas Spitters: Computer Certified Efficient Exact Reals in Coq. Calculemus/MKM 2011: 90-106
- [e1]Bart Jacobs, Peter Selinger, Bas Spitters (Eds.): Proceedings 8th International Workshop on Quantum Physics and Logic. EPTCS 95, 2011
- [i4]Bas Spitters, Eelis van der Weegen: Type Classes for Mathematics in Type Theory. CoRR abs/1102.1323 (2011)
- [i3]Robbert Krebbers, Bas Spitters: Computer certified efficient exact reals in Coq. CoRR abs/1105.2751 (2011)
- 2010
- [j13]
- [j12]Bas Spitters: Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory. Order 27(2): 225-233 (2010)
- [j11]Russell O'Connor, Bas Spitters: A computer-verified monadic functional implementation of the integral. Theor. Comput. Sci. 411(37): 3386-3402 (2010)
- [c5]Bas Spitters, Eelis van der Weegen: Developing the Algebraic Hierarchy with Type Classes in Coq. ITP 2010: 490-493
- [c4]Bas Spitters: The space of measurement outcomes as a spectrum for non-commutative algebras. DCM 2010: 127-133
2000 – 2009
- 2009
- [c3]
- 2008
- [i2]Russell O'Connor, Bas Spitters: A computer verified, monadic, functional implementation of the integral. CoRR abs/0809.1552 (2008)
- 2007
- [j10]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)
- [j9]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
- [j8]Bas Spitters: Constructive algebraic integration theory. Ann. Pure Appl. Logic 137(1-3): 380-390 (2006)
- [j7]
- [j6]Bas Spitters: Corrigendum to: 'A constructive view on ergodic theorems'. J. Symb. Log. 71(4): 1431-1432 (2006)
- 2005
- [j5]Thierry Coquand, Bas Spitters: Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. J. UCS 11(12): 1932-1944 (2005)
- [j4]
- [j3]Bas Spitters: Almost periodic functions, constructively. Logical Methods in Computer Science 1(3) (2005)
- [j2]Thierry Coquand, Bas Spitters: A constructive proof of the Peter-Weyl theorem. Math. Log. Q. 51(4): 351-359 (2005)
- [c2]Bas Spitters: Constructive algebraic integration theory without choice. Mathematics, Algorithms, Proofs 2005
- [i1]
- 2003
- [c1]Luís Cruz-Filipe, Bas Spitters: Program Extraction from Large Proof Developments. TPHOLs 2003: 205-220
- 2002
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:20 CEST by the dblp team