13 citations · 44 across the 15 of their papers we have counts for
1 paper · 2 filters
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…