Originalsprog | Engelsk |
---|---|
Tidsskrift | Nieuw Archief voor Wiskunde |
Vol/bind | 5/17 |
Nummer | 3 |
Sider (fra-til) | 159 - 164 |
Antal sider | 6 |
ISSN | 0028-9825 |
Status | Udgivet - 2016 |
Homotopy type theory and the formalization of mathematics
Egbert Rijke, Bas Spitters
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning