| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | b25cdba7-51cf-4b0e-9c93-af9d02f37e13 |
| isbn | 0387074163 9780387074160 3540074163 9783540074168 |
| issn | |
| language | eng fre |
| physical | xii, 370 pages :illustrations ;24 cm. |
| publication | – publisher: SpringerVerlag dateOfPublication: 1975 |
| publishDate | 1975 |
| subjects | |
| title | [Lambda]-calculus and computer science theory : proceedings 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 ; edited by C. Böhm. |
| topic | Combinatory logic Programming languages (Electronic computers) Langages de programmation Logique combinatoire Combinatory logic Programming languages (Electronic computers) Datenverarbeitung Kombinatorische Logik Lambda-Kalkül Logik Metamathematik Programmiersprache Kongress Lambda-calculus. Programming languages (Electronic computers) Combinatory logic Kongress. Kongreß Lambda-Calculus. Conference papers and proceedings |