APA ציטוט

International Workshop TYPES '94, Båstad, Sweden, Nordström, B., Smith, J. M., & Dybjer, P. (1995). Types for proofs and programs: International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers. Springer.

Chicago Style (17th ed.) Citation

International Workshop TYPES '94, Båstad, Sweden, Bengt Nordström, Jan M. Smith, and Peter Dybjer. Types for Proofs and Programs: International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : Selected Papers. Berlin ; New York: Springer, 1995.

ציטוט MLA

International Workshop TYPES '94, Båstad, Sweden, et al. Types for Proofs and Programs: International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : Selected Papers. Springer, 1995.