| Lingua originale | Inglese |
|---|---|
| pagine (da-a) | 36-63 |
| Rivista | Information and control |
| Volume | 62 |
| Stato di pubblicazione | Pubblicato - 1984 |
Effectively Given Domains and Lamba-Calculus Models
Paola GIANNINI, G. Longo
Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review