APA (7th ed.) Citation

International Workshop TYPES'93. (1994). Types for proofs and programs: International workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers. Springer.

Chicago Style (17th ed.) Citation

International Workshop TYPES'93. Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : Selected Papers. Berlin [etc.]: Springer, 1994.

MLA (9th ed.) Citation

International Workshop TYPES'93. Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : Selected Papers. Springer, 1994.