01643nam2-2200421li-450 99000020501020331620180312154757.03-540-62688-30020501USA010020501(ALEPH)000020501USA01002050120001109h----1997997y0itay0103----baengGWTyped lambda calculi and applicationsthird International conference on typed lambda calculi and applications, TLCA '97Nancy, France, April1997proceedingsPhilippe de Groote ... [et al.] (eds.)BerlinSpringer-Verlag[etc.]copyr. 1997VIII, 404 p.ill23 cmLecture notes in computer science121000100202642001Lecture notes in computer sciencealgoritmicongressi1997congressinancy1997elaborazione elettronicamodelli matematicicongressi1997004Elab. dei dati Scienza degli elab. InformaticaDe Groote,PhilippeInternational conference on typed lambda calculi and applications TLCA'973.Nancy1997753197Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205010203316001 LNCS (1210)002000300100103985BKSCI1997041720001110USA011714ALANDI9020010202USA01103320020403USA011628PATRY9020040406USA011615Typed lambda calculi and applications1515125UNISA