Publikace
Počet publikací: 1
2021
-
Dependent products and 1-inaccessible universes
Theory and Applications of Categories, rok: 2021, ročník: 37, vydání: 2021