01406nam2-2200409---450-99000313164020331620080926120424.0978-3-540-68084-0000313164USA01000313164(ALEPH)000313164USA0100031316420080724d2008----km-y0itay50------baengDEy---||||001yyTypes for proofs and programsInternational conference, TYPES 2007Cividale del Friuli, Italy, may 2-5, 2007revised selected papersMarino Miculan, Ivan Scagnetto, Furio Honsell (Eds.)Berlin [etc.]Springercopyr. 2008VI, 202 p.24 cmLecture notes in computer science49412001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInformaticaCongressiCividale del Friuli2007004MICULAN,MarinoSCAGNETTO,IvanHONSELL,FurioITsalbcISBD990003131640203316001 LNCS 494137122/CBS00100217533BKSCICBAS1020080724USA011049CBAS1020080724USA011050ANGELA9020080926USA011204Types for Proofs and Programs771867UNISA