bookmark

What is the best path to learn Category theory and Type theory? - Mathematics Stack Exchange

https://math.stackexchange.com/questions/1055390/what-is-the-best-path-to-learn-category-theory-and-type-theory

Please log in to take part in the discussion (add own reviews or comments).