Støvring, Kristian. “Extending the Extensional Lambda Calculus With Surjective Pairing Is Conservative”. BRICS Report Series 13, no. 5 (March 12, 2006). Accessed April 22, 2024. https://tidsskrift.dk/brics/article/view/21911.