8 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Joshua Chen
The program of internal type theory seeks to develop the categorical model theory of dependent type theory using the language of dependent type theory itself. In the present work w…