Towards formallizing categorical models of type theory in type theory (0)

by Alexandre Buisse, Peter Dybjeri
Venue:In: Electronic Notes in Theoretical Computer Science