Cita APA

Chu Rivera, F. (2023). Dependent Type Theory: A first approximation.

Citación estilo Chicago

Chu Rivera, Fernando. Dependent Type Theory: A first Approximation. 2023.

Cita MLA

Chu Rivera, Fernando. Dependent Type Theory: A first Approximation. 2023.

Precaución: Estas citas no son 100% exactas.