<--- Back to Details
First PageDocument 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 c

Add to Reading List

Source URL: people.cs.kuleuven.be

Download Document from Source Website

File Size: 149,18 KB

Share Document on Facebook

Similar Documents