01173nam--2200361---450-99000175573020331620040615092026.03-540-14031-X000175573USA01000175573(ALEPH)000175573USA0100017557320040615d2003----km-y0itay0103----baengDEa|||||||001yyTypes for proofs and programsinternational workshop, TYPES 2002Berg en Dal, The Netherlans, April 24 - 28, 2002Selected PapersHerman Geuvers, Freek Wiedijk (Eds.)Berlin [etc.]Springercopyr. 2003VIII, 330 p.ill.24 cm.Lecture notes in computer science26462001Lecture notes in computer science26462001001-------2001GEUVERS,HermanWIEDIJK,FreekITsalbcISBD990001755730203316001 LNCS 264629494/CBS001 LNCS00113877BKSCIRIVELLI9020040615USA010920Types for Proofs and Programs771867UNISA