First Page | Document Content | |
---|---|---|
Date: 2016-01-27 04:46:30 | 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 cAdd to Reading ListSource URL: people.cs.kuleuven.beDownload Document from Source WebsiteFile Size: 149,18 KBShare Document on Facebook |