Sciweavers

FOSSACS
2004
Springer

A Denotational Account of Untyped Normalization by Evaluation

14 years 4 months ago
A Denotational Account of Untyped Normalization by Evaluation
Andrzej Filinski, Henning Korsholm Rohde
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FOSSACS
Authors Andrzej Filinski, Henning Korsholm Rohde
Comments (0)