Homotopy Type Theory Synthetic Cohomology in Homotopy Type Theory > history (Rev #1, changes)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

Showing changes from revision #0 to #1: Added | Removed | Changed

Synthetic Cohomology in Homotopy Type Theory, Evan Cavallo,

PDF

Revision on October 14, 2018 at 16:41:28 by Anonymous?. See the history of this page for a list of all contributions to it.

DiscussNext revision (3 more)Current version of pageHistory (3 revisions)Rollback Source