Støvring, Kristian. “Extending the Extensional Lambda Calculus With Surjective Pairing Is Conservative”. BRICS Report Series 12, no. 35 (November 11, 2005). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/21902.