2 ms·Down and Dirty with Semantic Set-theoretic Types (a tutorial) v0.4 (2021)1 points by sbuttgereit 4y ago