Chu Rivera, F. (2023). Dependent Type Theory: A first approximation.
Citación estilo ChicagoChu Rivera, Fernando. Dependent Type Theory: A first Approximation. 2023.
Cita MLAChu Rivera, Fernando. Dependent Type Theory: A first Approximation. 2023.
Precaución: Estas citas no son 100% exactas.