Cited By
View all- Baunsgaard Kristensen MMogelberg RVezzosi A(2022)Greatest HITs: Higher inductive types in coinductive definitions via induction under clocksProceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3531130.3533359(1-13)Online publication date: 2-Aug-2022
- Kraus Nvon Raumer JBouyer P(2019)Path spaces of higher inductive types in homotopy type theoryProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470159(1-13)Online publication date: 24-Jun-2019
- Contente MMaietti M(2024)The Compatibility of the Minimalist Foundation with Homotopy Type TheoryTheoretical Computer Science10.1016/j.tcs.2024.114421(114421)Online publication date: Feb-2024
- Show More Cited By