Resultados da busca - Bas Spitters

The space of measurement outcomes as a spectrum for non-commutative algebras por Bas Spitters

Obter o texto integral

Almost periodic functions, constructively por Bas Spitters

Obter o texto integral

Integrals and valuations por Bas Spitters, Thierry Coquand

Obter o texto integral

Constructive theory of Banach algebras por Thierry Coquand, Bas Spitters

Obter o texto integral

Type classes for efficient exact real arithmetic in Coq por Robbert Krebbers, Bas Spitters

Obter o texto integral

Gelfand spectra in Grothendieck toposes using geometric mathematics por Bas Spitters, Steven Vickers, Sander Wolters

Obter o texto integral

Modalities in homotopy type theory por Egbert Rijke, Michael Shulman, Bas Spitters

Obter o texto integral