Martin Escardo?introduces the univalent foundations using literate agda.
Andrej Bauer‘s course on homotopy theory and type theory.
Egbert Rijke‘s courses focuses on synthetic homotopy theory.
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
Last revised on July 31, 2019 at 04:14:45. See the history of this page for a list of all contributions to it.