Normalization and Partial Evaluation

Peter Dybjer, Andrzej Filinski

26 Citationer (Scopus)
OriginalsprogEngelsk
TitelApplied Semantics : Advanced Lectures
UdgivelsesstedBerlin
ForlagSpringer
Publikationsdato2002
Sider137-192
ISBN (Trykt)3-540-44044-5
DOI
StatusUdgivet - 2002
NavnLecture notes in computer science
Nummer2395
ISSN0302-9743

Citationsformater