| Scheda: 1/1 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | De Liguoro, Ugo |
| Titolo | Non-deterministic untyped Λ - calculus : a study about explicit non determinism in higher-order functional calculi / Ugo De Liguoro |
| Pubblicazione | Roma : Università degli studi la Sapienza, Dipartimento di Matematica, 1991 |
| Descrizione fisica | 109 p. ; 21 cm. |
| Collezione | Rapporto di ricerca (ID Collana : USM1785431) |
| Lingua di pubblicazione | ita |
| Paese di pubblicazione | it |
| Nomi | De Liguoro, Ugo
Università degli studi di Roma La Sapienza : Dipartimento di matematica |
| Forme varianti dei nomi | Università La Sapienza Roma : Dipartimento di matematica G. Castelnuovo -> Università degli studi di Roma La Sapienza : Dipartimento di matematica Università degli studi La Sapienza <Roma> : Dipartimento di matematica -> Università degli studi di Roma La Sapienza : Dipartimento di matematica |
| Identificativo record | PIS0042448 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | NUM. 72344 | 000271305 | consultazione, prestito, fotoriproduzione Servizi |
Rimuovi da preferiti
Aggiungi a preferiti