RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Denotational aspects of untyped normalization by evaluation

Andrzej Filinski and Henning Korsholm Rohde

RAIRO-Theor. Inf. Appl., 39 3 (2005) 423-453

Published online: 15 July 2005

DOI: 10.1051/ita:2005026

Andrzej Filinski

Henning Korsholm Rohde

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)