(2009). Types for proofs and programs: International conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.).
Style de citation Chicago (17e éd.)Types for Proofs and Programs: International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : Revised Selected Papers / Stefano Berardi, Ferruccio Damiani, Ugo De' Liguoro (eds.). 2009.
Style de citation MLA (9e éd.)Types for Proofs and Programs: International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : Revised Selected Papers / Stefano Berardi, Ferruccio Damiani, Ugo De' Liguoro (eds.). 2009.
Attention : ces citations peuvent ne pas être correctes à 100%.