01523nam2-2200421li-450 99000020840020331620180312154819.03-540-65763-00020840USA010020840(ALEPH)000020840USA01002084020001109d1999----km-y0itay0103----baengGWTyped lambda calculi and applicationsInternational conference, TLCA '99: L'Aquila, Italy, April 7-9, 1999: proceedingsJean-Yves Girard (ed.)Berlin [etc.]Springer-Verlagcopyr. 1999VIII, 396 p.ill.24 cmLecture notes in computer science158100100202642001Lecture notes in computer sciencecongressil'aquila1999logica matematicacongressi19995113Logica simbolica (Logica matematica)Girard,Jean-YvesInternational conference TLCA '994.L'Aquila1999753694Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208400203316001 LNCS (1581)002342300100104236BKSCI1999052120001110USA011714ALANDI9020010208USA011220ALANDI9020010208USA01122020020403USA011628PATRY9020040406USA011615Typed lambda calculi and applications1516238UNISA