Biernacka, Malgorzata, Olivier Danvy, and Kristian Støvring. “Program Extraction from Proofs of Weak Head Normalization”. BRICS Report Series 12, no. 12 (April 11, 2005). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/21878.