Back to Results
First PageMeta Content

List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c
Add to Reading List

Document Date: 2016-01-27 04:46:30

Open Document

File Size: 149,18 KB

Share Result on Facebook