5 citations · 11 across the 11 of their papers we have counts for
1 paper · 2 filters
Greta Coraglia, Jacopo Emmenegger
We consider the equivalence between the two main categorical models for the type-theoretical operation of context comprehension, namely P. Dybjer's categories with families and B.…