Science4All personal blog
Homotopy Type Theory and Higher Inductive Types
In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) ci…
- Points
- 119
- HN comments
- 31
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsProgramming Languages2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 7, 2018 | Homotopy Type Theory and Higher Inductive Types by tw1010 | 119 | 31 |
