Cita APA (7a ed.)
Thorsten Altenkirch, B. R. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Thorsten Altenkirch, Bernhard Reus. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Thorsten Altenkirch, Bernhard Reus. Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Springer.
Opozorilo: Ti citati niso vedno 100% točni.