Homotopy Type Theory Resources > history (Rev #10)

Introductory courses

Books

Other

Revision on July 31, 2019 at 08:14:45 by Bas Spitters. See the history of this page for a list of all contributions to it.