On the Category of hSets - Bas Spitters - YouTube
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming - YouTube
Diego F. Aranha
Wiskundige droom vervuld in Princeton - Vox magazine
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters - Research - Aarhus University
Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark) - YouTube
Danil Annenkov
Overwhelming interest for AI and Blockchain at Fintech symposium – University of Copenhagen
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters - Product Owner - Capgemini | LinkedIn
Alex Mercado Trio | Discography | Discogs
![Concordium] The Promise of Blockchain for Business 🌍🌎🌏](https://ip.bitcointalk.org/?u=https%3A%2F%2Fi.ibb.co%2FfHnqRg1%2F6.gif&t=645&c=KwP3Cva8ssKLHQ "Concordium] The Promise of Blockchain for Business 🌍🌎🌏")
Concordium] The Promise of Blockchain for Business 🌍🌎🌏
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters (@BasspittersBs) / Twitter
Bas Spitters - Scholars | Institute for Advanced Study
EPIT Spring School on HoTT Bas Spitters Part 2-哔哩哔哩
spitters (Bas Spitters) · GitHub
2 "Bas Spitters" profiles | LinkedIn
Extracting Smart Contracts Tested and Verified in Coq (CPP 2021 - Certified Programs and Proofs) - POPL 2021
Bas Spitters
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic progra-哔哩哔哩
Sneak peek from the INCUBA's Blockchain Event : r/Concordium_Official
