28 citations · 112 across the 10 of their papers we have counts for
1 paper · 1 filter
Jonathan Sterling, Carlo Angiuli
We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory. Our normalization res…