Italiano (Italian) English (Inglese)
Thursday, 12 December 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://www.dblp.org/db/...rg/10.1007/3-540-54345-7_59