Types for proofs and programs : International Workshop, TYPES 2000 : Durham ,UK, December 8-12, 2000 : Selected papers / Paul Callaghan... <et al.> (eds.)

• Record Nr.: UNISA990001109990203316
• Autore: International workshop, TYPES 2000 <2000 ; Durham ; UK >
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 2002
• ISBN: 3-540-43287-6
• Descrizione fisica: 242 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 2277
• Disciplina: 511.30285
• Collocazione: 001 LNCS (2277)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia