Cita APA (7a ed.)
Eduardo Giménez, C. P. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Eduardo Giménez, Christine Paulin-Mohring. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Eduardo Giménez, Christine Paulin-Mohring. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers. Springer.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.