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. Ed. by C. Böhm
| Year of publication: |
1975
|
|---|---|
| Other Persons: | Böhm, Corrado (contributor) |
| Institutions: | Istituto per le Applicazioni del Calcolo Mauro Picone <Rom> (contributor) |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | Programmiersprache | Kombinatorische Logik | Kongress | Rom <1975> | Logik | Lambda-Kalkül | Metamathematik |
| Extent: | XII, 370 S. |
|---|---|
| Series: | Lecture notes in computer science. - Berlin ; Heidelberg [u.a.] : Springer, ISSN 0302-9743. - Vol. 37 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Konferenzschrift |
| Language: | English |
| ISBN: | 3-540-07416-3 ; 0-387-07416-3 |
| Source: |
Persistent link: https://www.econbiz.de/10004589206