TYPES '98 Benediktinerabtei Irsee, Germany, Altenkirch, T., Naraschewski, W., & Reus, B. (1999). Types for proofs and programs: International workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers. Springer.
Chicago Style (17th ed.) CitationTYPES '98 Benediktinerabtei Irsee, Germany, Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : Selected Papers. Berlin ; New York: Springer, 1999.
MLA (9th ed.) CitationTYPES '98 Benediktinerabtei Irsee, Germany, et al. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : Selected Papers. Springer, 1999.
Warning: These citations may not always be 100% accurate.