Severi, P., & Szasz, N. (2002). Internal program extraction in the calculus of inductive constructions.
Cita Chicago Style (17a ed.)Severi, Paula, y Nora Szasz. Internal Program Extraction in the Calculus of Inductive Constructions. 2002.
Cita MLA (9a ed.)Severi, Paula, y Nora Szasz. Internal Program Extraction in the Calculus of Inductive Constructions. 2002.
Precaución: Estas citas no son 100% exactas.
