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