Lamentamos - não possuímos outras edições de Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg ....