Fingerprint
Dive into the research topics of 'Identity in homotopy type theory, part I: The justification of path induction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Identity in homotopy type theory, part I: The justification of path induction
James Ladyman, Stuart Presnell
Research output: Contribution to journal › Article (Academic Journal) › peer-review
18
Citations
(Scopus)