Record · homotopytypetheory.org
http://homotopytypetheory.org/2011/04/10/just-kidding-understanding-identity-elimination-in-homotopy-type-theory/
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
- 30 Jan 2014
- Most recent
- 30 Jan 2014
Cited by
Blog
In the post
Date