The Lazy Call-by-value Lambda Calculus

Lavinia EGIDI, HONSELL E. S. RONCHI DELLA ROCCA F.

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Lingua originaleInglese
Pagine161-169
Numero di pagine9
Stato di pubblicazionePubblicato - 1991
EventoMathematical Foundations of Computer Science -
Durata: 1 gen 1991 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???Mathematical Foundations of Computer Science
Periodo1/01/91 → …

Cita questo