TYPES 2000 Durham, England, SpringerLink (Online service), & Callaghan, P. (2002). Types for proofs and programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers. Springer.
Chicago Style (17th ed.) CitationTYPES 2000 Durham, England, SpringerLink (Online service), and Paul Callaghan. Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : Selected Papers. Berlin ; New York: Springer, 2002.
MLA (9th ed.) CitationTYPES 2000 Durham, England, et al. Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : Selected Papers. Springer, 2002.
Warning: These citations may not always be 100% accurate.