Record · corpus.blog/posts/01a103d0-37a8-705a-ae17-651a86d6c35e
I now understand one thing about type theory
Quomodocumque | Math, Madison, food, the Orioles, books, my kids. · 4 October 2013 · 3 min read
A post on quomodocumque.wordpress.com, published 4 October 2013, has not been cited by any blog yet (corpus.blog, measured 8 October 2026).
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 0 | 0 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| Anchor phrases | 0 |
|---|---|
| External links | 2 |
| Words captured | 520 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
math.stackexchange.com
homotopytypetheory.org
Something wrong here? Report a problem