Computer Science on Cambridge Core4/8/2026Preface: Advances in Homotopy Type TheoryMaietti, Maria EmiliaRead at Computer Science on Cambridge Core