collaborators

1 paper

cs.LO2025

2-Coherent Internal Models of Homotopical Type Theory

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…