Homotopy Type Theory For Dummies
1ER2Xug
1ER2Xug
SHOW LESS
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Computer Science ?<br />
The HoTT people<br />
Thorsten Altenkirch (Nottingham) Edinburgh 13 October 30, 2013 29 / 29