The homotopy theory of type theories
Kapulkin, Krzysztof, Lumsdaine, Peter LeFanuVolume:
337
Language:
english
Journal:
Advances in Mathematics
DOI:
10.1016/j.aim.2018.08.003
Date:
October, 2018
File:
PDF, 645 KB
english, 2018