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