Danvy O, Rhiger M, Rose KH. Normalization by Evaluation with Typed Abstract Syntax. BRICS [Internet]. 2001 May 16 [cited 2024 Jul. 5];8(16). Available from: https://tidsskrift.dk/brics/article/view/20473