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)