Støvring K. Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. BRICS [Internet]. 11. november 2005 [henvist 5. december 2025];12(35). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21902