Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Home
/
Discussion
/
Homotopy Type Theory
Back to Discussion
Homotopy Type Theory
Loading...
6 stories
•
24h:
0%
•
7d: 0
•
3 comments
Top contributors:
measurablefunc
ibobev
fanf2
todsacerdoti
thunderbong
Stories
Related Stories
6 stories tagged with homotopy type theory
Identity Types
17
2 comments
by ibobev
Posted
3 months ago
Active
about 1 month ago
type theory
homotopy type theory
programming
Homotopy Type Theory: the Logic of Space (2017)
4
0 comments
by measurablefunc
Posted
2 months ago
Active
about 1 month ago
homotopy type theory
mathematics
logic
type theory
Homotopy Type Theory for Dummies
2
1 comments
by fanf2
Posted
2 months ago
Active
about 1 month ago
Homotopy Type Theory
Mathematics
Type Theory
Category Theory
The Seifert–van Kampen Theorem in Homotopy Type Theory (2016) [pdf]
1
0 comments
by measurablefunc
Posted
2 months ago
Active
about 1 month ago
homotopy type theory
mathematics
theoretical computer science
Homotopy Type Theory for Dummies
1
0 comments
by todsacerdoti
Posted
2 months ago
Active
about 1 month ago
Homotopy Type Theory
Mathematics
Type Theory
Identity Types
1
0 comments
by thunderbong
Posted
3 months ago
Active
about 1 month ago
type theory
homotopy type theory
programming
Homotopy Type Theory | Trending Topic on Hacker News | Not Hacker News!