Severi, P., & Szasz, N. (2002). Internal Program Extraction in the Calculus of Inductive Constructions. Web
Citación estilo ChicagoSeveri, Paula, and Nora Szasz. Internal Program Extraction in the Calculus of Inductive Constructions. 2002.
Cita MLASeveri, Paula, and Nora Szasz. Internal Program Extraction in the Calculus of Inductive Constructions. 2002.
Precaución: Estas citas no son 100% exactas.