| Original language | English |
|---|---|
| Publication status | Published - 2014 |
A Primer on Homotopy Type Theory: Part I.
James Ladyman, Stuart Presnell
Research output: Other contribution
James Ladyman, Stuart Presnell
Research output: Other contribution
| Original language | English |
|---|---|
| Publication status | Published - 2014 |