Støvring, K. (2006). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. BRICS Report Series, 13(5). https://doi.org/10.7146/brics.v13i5.21911