APA(7版)引用形式
Eduardo Giménez, C. P. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers. Springer.
Chicagoスタイル(17版)引用形式
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.
MLA(9版)引用形式
Eduardo Giménez, Christine Paulin-Mohring. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers. Springer.
警告: この引用は必ずしも正確ではありません.