Benjamin, T. (2024). Generating Higher Identity Proofs in Homotopy Type Theory.
Cita Chicago Style (17a ed.)Benjamin, Thibaut. Generating Higher Identity Proofs in Homotopy Type Theory. 2024.
Cita MLA (9a ed.)Benjamin, Thibaut. Generating Higher Identity Proofs in Homotopy Type Theory. 2024.
Precaución: Estas citas no son 100% exactas.