01408nam--2200397---450 99000110999020331620180312154824.03-540-43287-6000110999USA01000110999(ALEPH)000110999USA0100011099920021202d2002----km-y0ITAy0103-------baENGDETypes for proofs and programsInternational Workshop, TYPES 2000Durham ,UK, December 8-12, 2000Selected papersPaul Callaghan... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002242 p.ill.20 cmLecture notes in computer science22772001Lecture notes in computer science2277Logica matematicaCongressi2000511.30285CALLAGHAN,PaulInternational workshop, TYPES 2000 <2000 ; Durham ; UK >554397ITACBSISBD990001109990203316001 LNCS (2277)0026778 CBS00100112123BKSCIDIGIUSEPPE9020021202USA011155DIGIUSEPPE9020021202USA011428DIGIUSEPPE9020021202USA011430PATRY9020040406USA011717FIORELLA9020070322USA011606Types for proofs and programs981087UNISA