Cita APA (7a ed.)
Marino Miculan, I. S. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Marino Miculan, Ivan Scagnetto. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Marino Miculan, Ivan Scagnetto. Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.