37 citations · 133 across the 20 of their papers we have counts for
1 paper · 1 filter
Robert Harper, Kuen-Bang Hou
Bezem, Coquand, and Huber have recently given a constructively valid model of higher type theory in a category of nominal cubical sets satisfying a novel condition, called the unif…