BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bas Spitters
SearchCollections
Map detail
Bas Spitters13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBas SpittersABas SpittersResearcherConstructive pointfree topology eliminates non-constructive representation theorems from Riesz space theoryWConstructive pointfree ...preprint / 2008The space of measurement outcomes as a spectrum for non-commutative algebrasWThe space of measuremen...preprint / 2010Type Classes for Mathematics in Type TheoryWType Classes for Mathem...preprint / 2011Gelfand spectra in Grothendieck toposes using geometric mathematicsWGelfand spectra in Grot...preprint / 2014Cubical sets and the topological toposWCubical sets and the to...preprint / 2016Smart Contract Interactions in CoqWSmart Contract Interact...preprint / 2019Constructive Gelfand duality for C*-algebrasWConstructive Gelfand du...preprint / 2009A computer verified, monadic, functional implementation of the integralWA computer verified, mo...preprint / 2010Computer certified efficient exact reals in CoqWComputer certified effi...preprint / 2011Constructive Theory of Banach algebrasWConstructive Theory of ...preprint / 2010A constructive proof of Simpson's RuleWA constructive proof of...preprint / 2012Formalising Decentralised Exchanges in CoqWFormalising Decentralis...preprint / 2022
Person12 links

Bas Spitters

Researcher

PaperConstructive pointfree topology eliminates non-constructive representation theorems from Riesz space theoryAuthorship / preprint / 2008PaperThe space of measurement outcomes as a spectrum for non-commutative algebrasAuthorship / preprint / 2010PaperType Classes for Mathematics in Type TheoryAuthorship / preprint / 2011PaperGelfand spectra in Grothendieck toposes using geometric mathematicsAuthorship / preprint / 2014PaperCubical sets and the topological toposAuthorship / preprint / 2016PaperSmart Contract Interactions in CoqAuthorship / preprint / 2019PaperConstructive Gelfand duality for C*-algebrasAuthorship / preprint / 2009PaperA computer verified, monadic, functional implementation of the integralAuthorship / preprint / 2010

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)