00898nam0-22002651i-450-99000121070040332120110202193114.0000121070FED01000121070(Aleph)000121070FED0100012107020001205d1975----km-y0itaa50------baengDECalculus and computer science theoryproceedings of the Symposium held in Rome 25-27, 1975 IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricercheby C. BohmBerlin [etc.]Springer-Verlag1975Lecture notes in computer science37Bohm,CorradoITUNINARICAUNIMARCBK990001210700403321C-16-(3717327MA1MA1Calculus and computer science theory343927UNINA