Italiano (Italian) English (Inglese)
mercoledì, 4 dicembre 2024

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