APA (7th ed.) Citation

TYPES 2003 Torino, Italy, Berardi, S., Coppo, M., & Damiani, F. (2004). Types for proofs and programs: International workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers. Springer.

Chicago Style (17th ed.) Citation

TYPES 2003 Torino, Italy, Stefano Berardi, Mario Coppo, and Ferruccio Damiani. Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; Revised Selected Papers. Berlin ; New York: Springer, 2004.

MLA (9th ed.) Citation

TYPES 2003 Torino, Italy, et al. Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; Revised Selected Papers. Springer, 2004.