les raisins fusée Brillant bas spitters Pérégrination la défense problème

Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)​ - YouTube

Computer Verified Exact Analysis (Tutorial)

Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming - YouTube

Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra-哔哩哔哩

Bas Spitters (@BasspittersBs) / Twitter

Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile

Sneak peek from the INCUBA's Blockchain Event : r/Concordium_Official

Overwhelming interest for AI and Blockchain at Fintech symposium – University of Copenhagen

EPIT Spring School on HoTT Bas Spitters Part 2-哔哩哔哩

Bas Spitters - Product Owner - Capgemini | LinkedIn

Bas Spitters (@BasspittersBs) / Twitter

On the Category of hSets - Bas Spitters - YouTube

Diego F. Aranha

Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile

Alex Mercado Trio | Discography | Discogs

Bas Spitters (@BasspittersBs) / Twitter

PDF) Type classes for efficient exact real arithmetic in CoQ

spitters (Bas Spitters) · GitHub

Concordium] The Promise of Blockchain for Business 🌍🌎🌏

Aarhus University at Digital Tech Summit 2022

Extracting Smart Contracts Tested and Verified in Coq (CPP 2021 - Certified Programs and Proofs) - POPL 2021

Type Classes for Mathematics

Aarhus University X Digital Tech Summit - sessions and speakers