Hutchison, D. (2009). Types for proofs and programs: International conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Springer.
Style de citation Chicago (17e éd.)Hutchison, David. Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berlin, Heidelberg: Springer, 2009.
Style de citation MLA (8e éd.)Hutchison, David. Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Springer, 2009.
Attention : ces citations peuvent ne pas être correctes à 100%.