Vai al contenuto principale della pagina
Autore: | Barendregt, H. P. |
Titolo: | The Lambda calculus : its sintax and semant ics / by Barendregt |
Pubblicazione: | Amsterdam [etc.] : North-Holland, 1984 |
Note generali: | Revised Edition |
Titolo autorizzato: | Lambda calculus |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990001130080403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | C-30-(103-REV |
Opac: | Controlla la disponibilità qui |