Homotopy Type Theory Resources > history (Rev #5, changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

Here are some resources.

• the HoTT book

• 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