Showing changes from revision #8 to #9:
Added | Removed | Changed
Here are some resources.
CMU-HoTT Group’s local activities.
HoTTeST HoTT seminar
Leon Chwistek, The Theory of Constructive Types: Principles of Logic and Mathematics, Krakow: University Press, 1925, 98 pp. Extracted from the Annales de la Société Polonaise de Mathématique. (In DjVu format) Linked from this page, under Bibliography, On logic and mathematics.
Joyal’s Categorical Homotopy Type Theory
Andrej Bauer’s [course] on homotopy theory and type theory. This page also contains links to the courses by Egbert Rijke and Martin Escardo?.
Leon Chwistek, The Theory of Constructive Types: Principles of Logic and Mathematics, Krakow: University Press, 1925, 98 pp. Extracted from the Annales de la Société Polonaise de Mathématique. (In DjVu format) Linked from this page, under Bibliography, On logic and mathematics.
Joyal’s Categorical Homotopy Type Theory
CMU-HoTT Group’s local activities.
HoTTeST HoTT seminar