Types for proofs and programs : International workshop, TYPES '95 : Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi ... [et al.] (eds.)

• Record Nr.: UNISA990000207190203316
• Autore: International workshop TYPES'95 : 1995
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-61780-9
• Descrizione fisica: X, 296 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1158
• Disciplina: 51130285
• Collocazione: 001 LNCS (1158)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia