Cita APA

Martellotto, P., Novaira, M. M., Bongiovanni, M., & Luna, C. D. (2001). Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa. Web

Citación estilo Chicago

Martellotto, Paola, Maria Marta Novaira, Mónica Bongiovanni, and Carlos Daniel Luna. Teoría De Tipos Y Coq En La Enseñanza De Programación Funcional E Imperativa. 2001.

Cita MLA

Martellotto, Paola, Maria Marta Novaira, Mónica Bongiovanni, and Carlos Daniel Luna. Teoría De Tipos Y Coq En La Enseñanza De Programación Funcional E Imperativa. 2001.