8 citations · 15 across the 6 of their papers we have counts for
1 paper · 2 filters
Daniël Otten, Matteo Spadetto
The semantics of extensional type theory has an elegant categorical description: models of extensional =-types, 1-types, and Sigma-types are biequivalent to finitely complete categ…