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)

Search results