LEADER 01059nam0-22003011i-450-
001 990000963700403321
010   $a3-540-07416-3
035   $a000096370
035   $aFED01000096370
035   $a(Aleph)000096370FED01
035   $a000096370
100   $a20000920d1975----km-y0itay50------ba
101 0 $aeng
200 1 $a(Lambda)-Calculus and Computer Science Theory$eProceedings 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 Ricerche$fedited by C. Bohm
210   $aBerlin [etc.]$cSpringer-Verlag$d1975
225 1 $aLecture notes in computer science$v37
610 0 $aTeoria della programmazione e utilizzazione dei computers
610 0 $aSoftware
676   $a510.78
700  1$aBohm,$bCorrado$044492
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000963700403321
952   $a8B-074$b10057$fFI1
959   $aFI1
996   $aLambda)-Calculus and Computer Science Theory$9358098
997   $aUNINA
DB    $aING01