Cita APA (7a ed.)

Awodey, S., & Hua, J. (2026). Path Types in Algebraic Type Theory.

Cita Chicago Style (17a ed.)

Awodey, Steve, y Joseph Hua. Path Types in Algebraic Type Theory. 2026.

Cita MLA (9a ed.)

Awodey, Steve, y Joseph Hua. Path Types in Algebraic Type Theory. 2026.