| Record ID | talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:754790026:971 |
| Source | Talis |
| Download Link | /show-records/talis_openlibrary_contribution/talis-openlibrary-contribution.mrc:754790026:971?format=raw |
LEADER: 00971cam a2200217 a 4500
001 628336d3d557459381cf841c3ceb3acc
003 UK-BiTAL
005 20050705125625.0
008 900309s1975 wb | 000 ||eng|d
020 $a3540074163
035 $a()3540074163
040 $aXB$cXB$dUD$dUK-BiTAL
111 2 $aSymposium on [Lambda]-Calculus and Computer Science Theory$d(1975 :$cRome)
245 00 $a[Lambda]-Calculus and computer science theory :$bProceedings of the symposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Pecone" of the Consiglio Nazionale delle Ricerche /$cedited by C. Böhm.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1975.
300 $axii, 370p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v37
650 0 $aCombinatory logic.
650 0 $aProgramming languages (Electronic computers)
700 1 $aBöhm, Corrado,$d1923-
710 2 $aIstituto per le Applicazioni del Calcolo.