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