Bas Spitters
Philipp G. Haselwarter
Diego F. Aranha
EPIT Spring School on HoTT Bas Spitters Part 3-哔哩哔哩
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters (@BasspittersBs) / Twitter
Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile
Bas Spitters - POPL 2018
Bas Spitters
Bas Spitters (@BasspittersBs) / Twitter
Type Classes for Mathematics
Sneak peek from the INCUBA's Blockchain Event : r/Concordium_Official
Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark) - YouTube
Bas Spitters (@BasspittersBs) / Twitter
Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile
Aarhus University X Digital Tech Summit - sessions and speakers
Danil Annenkov
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra-哔哩哔哩
Alex Mercado Trio | Discography | Discogs
Aarhus University at Digital Tech Summit 2022
PDF) Type classes for efficient exact real arithmetic in CoQ
spitters (Bas Spitters) · GitHub
Bas Spitters - Research - Aarhus University
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming - YouTube
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain - YouTube
