arXiv Open Access 2017

A proposition is the (homotopy) type of its proofs

Steve Awodey

Lihat Sumber

Abstrak

An introduction and survey of homotopy type theory in honor of W.W. Tait.

math.LO math.CT

Steve Awodey

APA MLA BibTeX

Awodey, S. (2017). A proposition is the (homotopy) type of its proofs. https://arxiv.org/abs/1701.02024

Lihat di Sumber

Informasi Jurnal