Cita APA (7a ed.)
Herman Geuvers, F. W. Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Herman Geuvers, Freek Wiedijk. Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg En Dal, The Netherlands, April 24-28, 2002, Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Herman Geuvers, Freek Wiedijk. Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg En Dal, The Netherlands, April 24-28, 2002, Selected Papers. Springer.
Opozorilo: Ti citati niso vedno 100% točni.