Aberlé, C. B. (2024). Foundations of Substructural Dependent Type Theory.
Cita Chicago Style (17a ed.)Aberlé, C. B. Foundations of Substructural Dependent Type Theory. 2024.
Cita MLA (9a ed.)Aberlé, C. B. Foundations of Substructural Dependent Type Theory. 2024.
Precaución: Estas citas no son 100% exactas.