RT @taooftypes: Answer to What are the best books for beginners to start reading about type theory and homotopy type theory? by Thorsten Al… 0 atbildes
 |
Ingars Jekabsons (2021-05-13 22:31:28) |
RT @taooftypes: Answer to What are the best books for beginners to start reading about type theory and homotopy type theory? by Thorsten Al… | |