Danil Annenkov
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra-哔哩哔哩
spitters (Bas Spitters) · GitHub
Bas Spitters (@BasspittersBs) / Twitter
Aarhus University X Digital Tech Summit - sessions and speakers
Bas Spitters - Scholars | Institute for Advanced Study
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain - YouTube
Sneak peek from the INCUBA's Blockchain Event : r/Concordium_Official
Sneak peek from the INCUBA's Blockchain Event : r/Concordium_Official
Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile
Aarhus University at Digital Tech Summit 2022
Bas Spitters
EPIT Spring School on HoTT Bas Spitters Part 2-哔哩哔哩
On the Category of hSets - Bas Spitters - YouTube
Bas Spitters
Bas Spitters - Research - Aarhus University
Alex Mercado Trio | Discography | Discogs
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming - YouTube
Wiskundige droom vervuld in Princeton - Vox magazine
EPIT Spring School on HoTT Bas Spitters Part 3-哔哩哔哩
Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile
Type Classes for Mathematics
