1.
Record Nr.
UNINA990000963700403321
Autore
Bohm, Corrado
Titolo
(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. Bohm
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, 1975
ISBN
3-540-07416-3
Collana
Lecture notes in computer science ; 37
Disciplina
510.78
Locazione
FI1
Collocazione
8B-074
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia