Italiano (Italian) English (Inglese)
Sunday, 9 February 2025

Pubblicazioni

Indietro
Dettagli Pubblicazione
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