Forskning ved Københavns Universitet - Københavns Universitet

Forside

A Denotational Account of Untyped Normalization by Evaluation

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
TitelFoundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004
RedaktørerIgor Walukiewicz
ForlagSpringer
Publikationsdato2004
Sider167-181
ISBN (Trykt)3-540-21298-1
DOI
StatusUdgivet - 2004
BegivenhedFoundations of Software Science and Computation Structures - Barcelona, Spanien
Varighed: 31 mar. 20042 apr. 2004
Konferencens nummer: 7

Konference

KonferenceFoundations of Software Science and Computation Structures
Nummer7
LandSpanien
ByBarcelona
Periode31/03/200402/04/2004
NavnLecture notes in computer science
Nummer2987
ISSN0302-9743

ID: 12867040