Cita APA

Severi, P., & Szasz, N. (2002). Internal Program Extraction in the Calculus of Inductive Constructions. Web

Citación estilo Chicago

Severi, Paula, and Nora Szasz. Internal Program Extraction in the Calculus of Inductive Constructions. 2002.

Cita MLA

Severi, Paula, and Nora Szasz. Internal Program Extraction in the Calculus of Inductive Constructions. 2002.

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