![Cover of: [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](http://covers.openlibrary.org/b/id/8420817-M.jpg "Cover of: [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")
![We need a photo of Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)](/images/icons/avatar_author-lg.png){kind=icon}
Subjects
Combinatory logic, Congresses, Congrès, Datenverarbeitung, Kombinatorische Logik, Kongress, Lambda-Kalkül, Lambda-calculus, Langages de programmation, Logik, Logique combinatoire, Metamathematik, Programmiersprache, Programming languages (Electronic computers)ID Numbers
- OLID: OL4836329A
Links outside Open Library
No links yet. Add one?
| September 19, 2008 | Created by ImportBot | Imported from Talis record |