arXiv:1701.02024math.LO
A proposition is the (homotopy) type of its proofs
Steve Awodey
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
An introduction and survey of homotopy type theory in honor of W.W. Tait.
- arXiv comments
- Journal reference
- DOI
On Hacker News
Linked by 1 identifiable commenter in 1 comment across 1 thread, from May 2022 to May 2022.
Comments linking this paper, per year.
Discussed in comments1 thread
Connected through shared HN threads, not inferred similarity or a recommendation.
Awodey has a shortish introduction here: https://arxiv.org/abs/1701.02024
black_knightView on HNParent context