(1998). Types for proofs and programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring, eds.
Cita Chicago (17th ed.)Types for Proofs and Programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : Selected Papers / Eduardo Giménez, Christine Paulin-Mohring, Eds. 1998.
Cita MLA (9th ed.)Types for Proofs and Programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : Selected Papers / Eduardo Giménez, Christine Paulin-Mohring, Eds. 1998.
Atenció: Aquestes cites poden no estar 100% correctes.