TYPES '99 Lökeberg, Sweden, SpringerLink (Online service), LINK (Online service), & Coquand, T. (2000). Types for proofs and programs: International workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers. Springer.
Chicago Style (17th ed.) CitationTYPES '99 Lökeberg, Sweden, SpringerLink (Online service), LINK (Online service), and Thierry Coquand. Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected Papers. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationTYPES '99 Lökeberg, Sweden, et al. Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected Papers. Springer, 2000.
Warning: These citations may not always be 100% accurate.