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