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