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

Volltext

Synthetic topology in Homotopy Type Theory for probabilistic programming von Bidlingmaier, Martin E., Faissole, Florian, Spitters, Bas

Volltext

Type classes for mathematics in type theory von SPITTERS, BAS, VAN DER WEEGEN, EELIS

Volltext

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

Volltext

Bohrification of operator algebras and quantum logic von Heunen, Chris, Landsman, Nicolaas P., Spitters, Bas

Volltext

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

Volltext

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

Volltext

Sets in homotopy type theory von RIJKE, EGBERT, SPITTERS, BAS

Volltext

Almost periodic functions, constructively von Spitters, Bas

Volltext

A Topos for Algebraic Quantum Theory von Heunen, Chris, Landsman, Nicolaas P., Spitters, Bas

Volltext

The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras von Spitters, Bas

Volltext

Constructive analysis, types and exact real numbers von GEUVERS, HERMAN, NIQUI, MILAD, SPITTERS, BAS, WIEDIJK, FREEK

Volltext

Extracting functional programs from Coq, in Coq von ANNENKOV, DANIL, MILO, MIKKEL, NIELSEN, JAKOB BOTSCH, SPITTERS, BAS

Volltext

Locatedness and overt sublocales von Spitters, Bas

Volltext

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq von Haselwarter, Philipp G, Rivas, Exequiel, Van Muylder, Antoine, Winterhalter, Theo, Abate, Carmine, Sidorenco, Nikolaj, Hritcu, Catalin, Maillard, Kenji, Spitters, Bas

Volltext

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq von Haselwarter, Philipp G., Rivas, Exequiel, Van Muylder, Antoine, Winterhalter, Théo, Abate, Carmine, Sidorenco, Nikolaj, Hriţcu, Cătălin, Maillard, Kenji, Spitters, Bas

Volltext

Modal dependent type theory and dependent right adjoints von Birkedal, Lars, Clouston, Ranald, Mannaa, Bassel, Ejlers Møgelberg, Rasmus, Pitts, Andrew M., Spitters, Bas

Volltext

Guarded Cubical Type Theory von Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge, Spitters, Bas, Vezzosi, Andrea

Volltext

The HoTT Library: A formalization of homotopy type theory in Coq von Bauer, Andrej, Gross, Jason, LeFanu Lumsdaine, Peter, Shulman, Michael, Sozeau, Matthieu, Spitters, Bas

Volltext bestellen

Smart Contract Interactions in Coq von Nielsen, Jakob Botsch, Spitters, Bas

Volltext