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.
Homotopic interpretation<br />
Uniqueness of Identity proofs ?<br />
Π p:a=a p = refl ?<br />
Thorsten Altenkirch (Nottingham) Edinburgh 13 October 30, 2013 9 / 29