Publications
Total number of publications: 1
2021
-
Dependent products and 1-inaccessible universes
Theory and Applications of Categories, year: 2021, volume: 37, edition: 2021