Italiano (Italian) English (Inglese)
Saturday, 23 November 2024

Publications

Back
Pubblication Details
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