Podehaye
Created page with "* [https://www.springer.com/la/book/9783030007034 Temporal Type Theory] * [http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf Seven Sketches] * [http://www.mit.edu/~eada..."
08:17
+1,673