APA (7th ed.) Citation

(2008). Types for proofs and programs: International conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.).

Chicago Style (17th ed.) Citation

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007 : Revised Selected Papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.). 2008.

MLA (9th ed.) Citation

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007 : Revised Selected Papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.). 2008.

Warning: These citations may not always be 100% accurate.