01494nam2-2200409li-450 99000021050020331620180312154802.03-540-60164-30021050USA010021050(ALEPH)000021050USA01002105020001109d1995----km-y0itay0103----baengGWCategory theory and computer science6th International conference, CTCS'95Cambridge, United Kingdom, August 7-11, 1995proceedingsDavid Pitt ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995252 p.ill.25 cmLecture notes in computer science95300100202642001Lecture notes in computer sciencecongressicambridge1995elaboratori elettronicicongressi1995004Elab. dei dati Scienza degli elab. InformaticaPitt,DavidInternational conference CTCS'956.Cambridge1995753211Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210500203316001 LNCS (953)002031800100103742BKSCI1997112420001110USA011714ALANDI9020010131USA01132620020403USA011629PATRY9020040406USA011615Category theory and computer science1515142UNISA