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://dx.doi.org/10.1007/3-540-54345-7_59 |