Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected PapersSpringer, 2001 - 193 páginas |
Types for Proofs and Programs: International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : Selected PapersSpringer, 2001 - 193 páginas |