Sets in homotopy type theory

Egbert Rijke, Bas Spitters

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

13 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Sets in homotopy type theory'. Sammen danner de et unikt fingeraftryk.

Mathematics