The Lambda calculus : its sintax and semant ics / by Barendregt |
Autore | Barendregt, H. P. |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1984 |
Collana | Studies in logic and the foundations of mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001130080403321 |
Barendregt, H. P. | ||
Amsterdam [etc.] : North-Holland, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Lambda Calculus : its syntax and semantics / H.P. Barendregt |
Autore | Barendregt, H. P. |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1981 |
Disciplina | 510.78 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
ISBN | 0-444-85490-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000957230403321 |
Barendregt, H. P. | ||
Amsterdam [etc.] : North-Holland, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Lamda calculus : its syntax and semantics / by BARENDREGT |
Autore | Barendregt, H. P. |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1981 |
Collana | Studies in logic and the foundations of mathematics |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001130060403321 |
Barendregt, H. P. | ||
Amsterdam [etc.] : North-Holland, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|