TYPES '99 Lökeberg, Sweden, & 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, 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, and Thierry Coquand. 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.