TY  - RPRT
TI  - A parametricity-based formalization of semi-simplicial and semi-cubical sets
AU  - Hugo Herbelin
AU  - Ramkumar Ramachandra
PY  - 2025
DO  - 10.1017/s096012952500009x
UR  - https://arxiv.org/abs/2401.00512
ID  - 2401.00512
ER  -