Italiano (Italian) English (Inglese)
sabato, 22 giugno 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