Homotopy Type Theory
Resources > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Here are some resources.
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.the HoTT book
-
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.
Revision on May 14, 2014 at 22:42:32 by
Alexis Hazell?.
See the history of this page for a list of all contributions to it.