01059nam0-22003011i-450-9900009637004033213-540-07416-3000096370FED01000096370(Aleph)000096370FED0100009637020000920d1975----km-y0itay50------baeng(Lambda)-Calculus and Computer Science TheoryProceedings of the Symposium held in Rome March 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricercheedited by C. BohmBerlin [etc.]Springer-Verlag1975Lecture notes in computer science37Teoria della programmazione e utilizzazione dei computersSoftware510.78Bohm,Corrado44492ITUNINARICAUNIMARCBK9900009637004033218B-07410057FI1FI1Lambda)-Calculus and Computer Science Theory358098UNINAING01