Homotopy Type Theory For Dummies
1ER2Xug
1ER2Xug
SHOW LESS
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Homotopic interpretation<br />
Homotopic Model<br />
A : <strong>Type</strong><br />
a, b : A<br />
p, q : a = b<br />
H : p = q<br />
Thorsten Altenkirch (Nottingham) Edinburgh 13 October 30, 2013 8 / 29