tres bien Herren Hemd, hellblau, Gr. EU 52, Baumwolle - Second Hand

Herman Geuvers - Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science, 2646, Band 2646)

Xavier Leroy - Types in Compilation: Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings (Lecture Notes in Computer Science, 1473, Band 1473)