Perpetual Reductions in Lambda-calculus, Vol. 149(2)

F. Raamsdonk, P. Severi, Morten Heine Sørensen, H. Xi

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

45 Citationer (Scopus)
OriginalsprogEngelsk
TitelInformation and Computation
Publikationsdato1999
Sider173-225
StatusUdgivet - 1999

Citationsformater