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