Pubblicazioni
Autori: | Paola Giannini |
Giuseppe Longo | |
Titolo: | Effectively Given Domains and Lamba-Calculus Models |
Apparso su: | Information and Control 62 |
Pagine: | 36 - 63 |
Anno: | 1984 |
Tipo Pubblicazione: | Paper on International Journal |
Autori: | Paola Giannini |
Giuseppe Longo | |
Titolo: | Effectively Given Domains and Lamba-Calculus Models |
Apparso su: | Information and Control 62 |
Pagine: | 36 - 63 |
Anno: | 1984 |
Tipo Pubblicazione: | Paper on International Journal |