تفاصيل العنوان
Subjects: Guarded Recursion; Dependent Type Theory; Cubical Type Theory
Subjects: homotopy type theory; truncation elimination; constancy on loop spaces