Site · corpus.blog/sites/homotopytypetheory.org
homotopytypetheory.org
homotopytypetheory.org · a website blogs cite, not a blog we hold
- What this is
- not yet classified
23blogs citing
31 links from citing blogs
Most cited pages
Page
Blogs
Book
/book/
16blogs
Blogs citing this site
Blog
Links
Posts
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Words used to cite it
Phrase
Blogs
Links
homotopy type theory
9
10
homotopy type theory book
3
3
the hott book
3
3
homotopy type theory: univalent foundations of mathematics
2
2
hott
2
2
here
1
2
book
1
1
clever (but horrible) hacks
1
1
excellent blog post by dan licata
1
1
higher inductive types
1
1
homotopic interpretation
1
1
homotopy type theory (hott)
1
1
homotopy type-theory
1
1
hott book
1
1
steve awodey
1
1
The words citing blogs put inside the link, ranked by how many different blogs used them.