Wiskundige droom vervuld in Princeton - Vox magazine
Philipp G. Haselwarter
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra-哔哩哔哩
2 "Bas Spitters" profiles | LinkedIn
Aarhus University at Digital Tech Summit 2022
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters - POPL 2018
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters
spitters (Bas Spitters) · GitHub
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming - YouTube
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain - YouTube
Alex Mercado Trio | Discography | Discogs
Aarhus University X Digital Tech Summit - sessions and speakers
Computer Verified Exact Analysis (Tutorial)
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters - Scholars | Institute for Advanced Study
Bas Spitters (@BasspittersBs) / Twitter
