Naturality for higher-dimensional path types. - Thibaut Benjamin; Ioannis Markakis; Wilfred Offord; Chiara Sarti; Jamie Vicary (CoRR, 2025)

Higher Eckmann-Hilton Arguments in Type Theory. - Thibaut Benjamin; Ioannis Markakis; Wilfred Offord; Chiara Sarti; Jamie Vicary (CoRR, 2025)