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.

Topik & Kata Kunci

Penulis (1)

S

Steve Awodey

Format Sitasi

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

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2017
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓