Introduction -- from type theory and homotopy theory to univalent foundations (Q5740647)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6606933
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Introduction -- from type theory and homotopy theory to univalent foundations |
scientific article; zbMATH DE number 6606933 |
Statements
Introduction – from type theory and homotopy theory to univalent foundations (English)
0 references
27 July 2016
0 references
0.8578481078147888
0 references
0.8566010594367981
0 references
0.8562307357788086
0 references
0.8498430252075195
0 references
0.8351859450340271
0 references
