Identity in homotopy type theory: Part II, the conceptual and philosophical status of identity in HoTT

James Ladyman, Stuart Presnell

Research output: Contribution to journalArticle (Academic Journal)peer-review

6 Citations (Scopus)
850 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Identity in homotopy type theory: Part II, the conceptual and philosophical status of identity in HoTT'. Together they form a unique fingerprint.

Arts and Humanities