APA (7th ed.) Citation

Barendregt, H. P., & Nipkow, T. (1994). Types for proofs and programs: International workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers. Springer-Verlag.

Chicago Style (17th ed.) Citation

Barendregt, H. P., and Tobias Nipkow. Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : Selected Papers. Berlin ; New York: Springer-Verlag, 1994.

MLA (8th ed.) Citation

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