39 citations · 146 across the 23 of their papers we have counts for
1 paper · 2 filters
Keri D'Angelo, Liron Cohen, Luke Serafin +1
Reasoning about higher identity types uses two equalities, strict equality and equivalence of cells witnessed by a path. Strict equality is a congruence for every operation on cell…