Foundations of Substructural Dependent Type Theory. - C. B. Aberlé (CoRR, 2024)

Parametricity via Cohesion. - C. B. Aberlé (CoRR, 2024)

Polynomial Universes and Dependent Types. - C. B. Aberlé; David I. Spivak (CoRR, 2024)

Substructural Parametricity. - C. B. Aberlé; Karl Crary; Chris Martens 001; Frank Pfenning (FSCD, 2025)

Substructural Parametricity. - C. B. Aberlé; Chris Martens 001; Frank Pfenning (CoRR, 2025)