A parametricity-based formalization of semi-simplicial and semi-cubical sets. - Hugo Herbelin; Ramkumar Ramachandra (CoRR, 2024)