01261nam0-22004091i-450-99000102235040332120120626174508.03-540-07142-3000102235FED01000102235(Aleph)000102235FED0100010223520120626d1975----km-y0itay50------baengDEy-------001yyCategory theory applied to computation and controlproceedings of the First International Symposium, San Francisco, February 25-26, 1974edited by E.G. ManesBerlin [etc.]Springer-Verlag1975X, 245 p.ill.24 cmLecture notes in computer science25Teoria della programmazione e utilizzazione dei computersSoftwareTeoria dei sistemi510.78629.8Manes,Ernest G.ITUNINARICAUNIMARCBK9900010223504033218B-0639786FI109 052-0061091/LDINAEC-16-(2516399MA1FI1DINAEMA1Category theory applied to computation and control339740UNINA