The homotopy theory of type theories

The homotopy theory of type theories

Kapulkin, Krzysztof, Lumsdaine, Peter LeFanu
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
337
Language:
english
Journal:
Advances in Mathematics
DOI:
10.1016/j.aim.2018.08.003
Date:
October, 2018
File:
PDF, 645 KB
english, 2018
Conversion to is in progress
Conversion to is failed