Homotopy type theory and the formalization of mathematics

Egbert Rijke, Bas Spitters

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

OriginalsprogEngelsk
TidsskriftNieuw Archief voor Wiskunde
Vol/bind5/17
Nummer3
Sider (fra-til)159 - 164
Antal sider6
ISSN0028-9825
StatusUdgivet - 2016

Citationsformater