nach oben

Erschienen in:

Open Access 01.02.2019

On a Model Invariance Problem in Homotopy Type Theory

verfasst von: Anthony Bordg

Titel: On a Model Invariance Problem in Homotopy Type Theory
verfasst von: Anthony Bordg
Publikationsdatum: 01.02.2019
Verlag: Springer Netherlands
Erschienen in: Applied Categorical Structures / Ausgabe 3/2019
Print ISSN: 0927-2852
Elektronische ISSN: 1572-9095
DOI: https://doi.org/10.1007/s10485-019-09558-w