Pubblicazioni
Autori: | Lavinia Egidi |
Furio Honsell | |
Simona Ronchi Della Rocca | |
Titolo: | The lazy call-by-value Lamda-Calculus |
Apparso su: | MFCS |
Pagine: | 161-169 |
Anno: | 1991 |
Tipo Pubblicazione: | Paper on Proceedings International Conference |
URL: | http://www.dblp.org/db/...rg/10.1007/3-540-54345-7_59 |