APA (7th ed.) Citation

SpringerLink (Online service), International Workshop TYPES, International Workshop on Types for Proofs and Programs, & 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

SpringerLink (Online service), International Workshop TYPES, International Workshop on Types for Proofs and Programs, and Peter Dybjer. Types for Proofs and Programs: International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; Selected Papers. Berlin [u.a.]: Springer, 1995.

MLA (9th ed.) Citation

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