APA (7th ed.) Citation

International Workshop TYPES '96 Aussois, France, SpringerLink (Online service), Giménez, E., & Paulin-Mohring, C. (1998). Types for proofs and programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers. Springer.

Chicago Style (17th ed.) Citation

International Workshop TYPES '96 Aussois, France, SpringerLink (Online service), Eduardo Giménez, and Christine Paulin-Mohring. Types for Proofs and Programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : Selected Papers. Berlin ; New York: Springer, 1998.

MLA (9th ed.) Citation

International Workshop TYPES '96 Aussois, France, et al. Types for Proofs and Programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : Selected Papers. Springer, 1998.