01157nam2-2200349---450-99000332782020331620091007125834.0978-3-642-02443-6000332782USA01000332782(ALEPH)000332782USA0100033278220091007d2009----km-y0itay50------baengDEy---||||001yyTypes for proofs and programsInternational conference, TYPES 2008Torino, Italy, march 26-29, 2008revised selected papersStefano Berardi...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2009VIII, 322 p.24 cmLecture notes in computer science54970010003149602001Lecture notes in computer science5497InformaticaCongressiTorino2008004BERARDI,StefanoITsalbcISBD990003327820203316001 LNCS 549738513/CBS00100335012BKSCIRSIAV79020091007USA011258Types for Proofs and Programs771867UNISA