01230nam2-2200337li-450-99000295742020331620070712120015.03-540-22164-6000295742USA01000295742(ALEPH)000295742USA010002957422002007071292004----y0itay0103----baengDETypes for proofs and programsInternational workshop, TYPES 2003Torino, Italy, April/May 2003selected papersStefano Berardi ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2004X, 408 p.ill.23 cmLecture notes in computer science308500100202642001Lecture notes in computer science3085Logica matematicaCongressiTorino2003511.30285elaborazione dei dati applicazione dell'elaborat.BERARDI,StefanoInternational workshop TYPES 2003<2003 ;Torino>753396990002957420203316001 LNCS 308531161/CSB00100215023BKSCISENATORE9020070712USA011200Types for proofs and programs1515538UNISA