01232nam2-2200337li-450 99000297943020331620180918155407.03-540-31428-8000297943USA01000297943(ALEPH)000297943USA010002979432002007092006-------y0itay0103----baengDETypes for proofs and programsInternational workshop, TYPES 2004Jouy-en-Josas, France, December 15-18, 2004revised selected papersJean-Christophe Filliâtre... [et al.] (eds.)Berlin [etc.]Springercopyr. 2006VIII, 272 p.ill.23 cmLecture notes in computer science383900100202642001Lecture notes in computer science3839Logica matematicaCongressiJouy-en-Josas2004511.30285FILLIÂTRE,Jean-ChristopheInternational workshop TYPES 2004<2004 ;Jouy-en-Josas>746698990002979430203316001 LNCS 383933223/CSB00100215706BKSCISENATORE9020070928USA011259Types for proofs and programs1490827UNISA