Filinski A, Rohde HK. A Denotational Account of Untyped Normalization by Evaluation. BRICS [Internet]. 2003 Dec. 6 [cited 2024 Apr. 23];10(40). Available from: https://tidsskrift.dk/brics/article/view/21808