Bas Spitters - Product Owner - Capgemini | LinkedIn
Aarhus University at Digital Tech Summit 2022
2 "Bas Spitters" profiles | LinkedIn
Buy Peacock Bass Spitters Are Quitters Fishing Neck Gaiter Online in India - Etsy
spitters (Bas Spitters) · GitHub
Overwhelming interest for AI and Blockchain at Fintech symposium – University of Copenhagen
Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters (@BasspittersBs) / Twitter
EPIT Spring School on HoTT Bas Spitters Part 2-哔哩哔哩
Bas Spitters - Scholars | Institute for Advanced Study
Bas Spitters - Research - Aarhus University
On the Category of hSets - Bas Spitters - YouTube
Aarhus University X Digital Tech Summit - sessions and speakers
Type Classes for Mathematics
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters (@BasspittersBs) / Twitter
Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark) - YouTube
Alex Mercado Trio | Discography | Discogs
Bas Spitters (@BasspittersBs) / Twitter
EPIT Spring School on HoTT Bas Spitters Part 3-哔哩哔哩
Philipp G. Haselwarter
PDF) Type classes for efficient exact real arithmetic in CoQ
