01533nam2-2200409li-450 99000020590020331620180312154843.03-540-63455-X0020590USA010020590(ALEPH)000020590USA01002059020001109d1997----km-y0itay0103----baengGWCategory theory and computer science7th International conference, CTCS'97Santa Margherita Ligure, Italy, September 4-6, 1997proceedingsEugenio Moggi ... [et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1997313 p.ill.23 cmLecture notes in computer science129000100202642001Lecture notes in computer sciencecongressisanta margherita ligure1997elaboratori elettronicicongressi1997004Elab. dei dati Scienza degli elab. InformaticaMoggi,EugenioInternational conference CTCS'977.Santa Margherita Ligure1997754258Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205900203316001 LNCS (1290)002108300100104044BKSCI1998011720001110USA011714ALANDI9020010202USA01153820020403USA011628PATRY9020040406USA011615Category theory and computer science1517633UNISA