01651nam2-2200433li-450 99000020464020331620180312154702.03-540-56517-50020464USA010020464(ALEPH)000020464USA01002046420001109d1993----km-y0itay0103----baengGWTyped lambda calculi and applicationsInternational conference on typed lamda calculi and applicationsMarch 16-18, 1993, Utrecht, The NetherlandsproceedingsM. Bezem (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 432 p.ill.24 cmLecture notes in computer science66400100202642001Lecture notes in computer sciencealgoritmicongressi1993congressiultrecht1993elaborazione elettronicamodelli matematicicongressi1993004Elab. dei dati Scienza degli elab. InformaticaBezem,MarcInternational conference on typed lambda calculi and applicationsUtrecht1993746248Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204640203316001 LNCS 664001507500100102914BKSCI1995021220001110USA011714ALANDI9020010129USA011327PATTY9020010321USA01132820020403USA011628PATRY9020040406USA011615Typed lambda calculi and applications1489247UNISA