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