01151nam0-22003611i-450-99000132966040332120100215150436.00-521-42726-6000132966FED01000132966(Aleph)000132966FED0100013296620001205d1992----km-y0itay50------baengApplications of categories in computer scienceProceedings of the LMS Symposium, Durham 1991Edited by M. P. Fourman, P. T. Johnstone, A. M. PittisCambridge (NY)Cambridge University Pressc1992vii, 339 p.24 cmLondon Mathematical Society lecture note series177Computer scienceCongressiTeoria della categoriaCongressi005.131Fourman,M.P.Johnstone,Peter T.Pittis,A.M.ITUNINARICAUNIMARCBK990001329660403321C-9-(17710110MA1MA168-0618-06Applications of categories in computer science376407UNINA