1 citations · 1 across the 9 of their papers we have counts for
1 paper · 2 filters
Kristóf Kanalas
We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.