Publications
| Authors: | Lavinia Egidi |
| Furio Honsell | |
| Simona Ronchi Della Rocca | |
| Title: | The lazy call-by-value Lamda-Calculus |
| Published on: | MFCS |
| Pages: | 161-169 |
| Year: | 1991 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.dblp.org/db/...rg/10.1007/3-540-54345-7_59 |