|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thierry Coquand, Erik Palmgren, Bas Spitters |
Metric complements of overt closed sets.  |
Math. Log. Q.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters, Eelis van der Weegen |
Type classes for mathematics in type theory. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robbert Krebbers, Bas Spitters |
Type classes for efficient exact real arithmetic in Coq |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robbert Krebbers, Bas Spitters |
Computer certified efficient exact reals in Coq |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bas Spitters, Eelis van der Weegen |
Type Classes for Mathematics in Type Theory |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robbert Krebbers, Bas Spitters |
Computer Certified Efficient Exact Reals in Coq. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell O'Connor, Bas Spitters |
A computer-verified monadic functional implementation of the integral. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
Locatedness and overt sublocales. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
The space of measurement outcomes as a spectrum for non-commutative algebras |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory. |
Order |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters, Eelis van der Weegen |
Developing the Algebraic Hierarchy with Type Classes in Coq. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters, Russell O'Connor |
Computer Verified Exact Analysis (Tutorial). |
CCA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Russell O'Connor, Bas Spitters |
A computer verified, monadic, functional implementation of the integral |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk |
Constructive analysis, types and exact real numbers. |
Mathematical Structures in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
A constructive view on ergodic theorems. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bas Spitters |
Corrigendum to: 'A constructive view on ergodic theorems'. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bas Spitters |
Constructive algebraic integration theory. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coquand, Bas Spitters |
A constructive proof of the Peter-Weyl theorem. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
Almost periodic functions, constructively. |
Logical Methods in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
Constructive Results on Operator Algebras. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thierry Coquand, Bas Spitters |
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bas Spitters |
Almost periodic functions, constructively |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bas Spitters |
Constructive algebraic integration theory without choice. |
Mathematics, Algorithms, Proofs |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Bas Spitters |
Program Extraction from Large Proof Developments. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Spitters |
Located Operators. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")