![We need a photo of Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)](/images/icons/avatar_author-lg.png){kind=icon}
1 work Add another?
Showing all works by author. Would you like to see only ebooks?
![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 Pecone" of the Consiglio Nazionale delle Ricerche](http://covers.openlibrary.org/b/id/5302836-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 Pecone\" of the Consiglio Nazionale delle Ricerche")
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 |