5 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
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.…