| Original language | English |
|---|---|
| Journal | Nieuw Archief voor Wiskunde |
| Volume | 5/17 |
| Issue | 3 |
| Pages (from-to) | 159 - 164 |
| Number of pages | 6 |
| ISSN | 0028-9825 |
| Publication status | Published - 2016 |
Homotopy type theory and the formalization of mathematics
Egbert Rijke, Bas Spitters
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research