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