Record · homotopytypetheory.org
http://homotopytypetheory.org/2013/06/20/the-hott-book/
A record is what was published and who pointed at it. corpus.blog does not hold this page -- read it at the source, or at its Wayback capture.
1blogs citing
- First cited
- 24 Jun 2013
- Most recent
- 24 Jun 2013
Cited by
Blog
In the post
Date