Herbelin, H., & Ramachandra, R. (2023). A parametricity-based formalization of semi-simplicial and semi-cubical sets.
Chicago-Zitierstil (17. Ausg.)Herbelin, Hugo, und Ramkumar Ramachandra. A Parametricity-based Formalization of Semi-simplicial and Semi-cubical Sets. 2023.
MLA-Zitierstil (9. Ausg.)Herbelin, Hugo, und Ramkumar Ramachandra. A Parametricity-based Formalization of Semi-simplicial and Semi-cubical Sets. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.