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