01721nam2-2200433li-450 99000021163020331620180312154641.03-540-59048-X0021163USA010021163(ALEPH)000021163USA01002116320001109d1995----km-y0itay0103----baengGWTyped lambda calculi and applicationssecond International conference ontyped lambda calculi and applications, TLCA '95Edinburgh, United Kingdom, April 10-12, 1995proceedingsMariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 442 p.ill.25 cmLecture notes in computer science90200100202642001Lecture notes in computer sciencealgoritmicongressi1995congressiedinburgo1995elaborazione elettronicamodelli matematicicongressi1995004Elab. dei dati Scienza degli elab. InformaticaDezani_Ciancaglini,MariangiolaPlotkin,GordonInternational conference on typed lambda calculi and applications2.Edinburgo1995746315Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211630203316001 LNCS (902)001743900100103722BKSCI1996011220001110USA011714ALANDI9020010131USA01113020020403USA011629PATRY9020040406USA011615Typed lambda calculi and applications1489438UNISA