on Normal-ization by Evaluation, BRICS Note NS-98-1 (1998)

by O Danvy, P Dybjer, editors
Venue:Department of Computer Science, University of Aarhus