Støvring K. Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. BRICS [Internet]. 2006 Mar. 12 [cited 2024 Sep. 18];13(5). Available from: https://tidsskrift.dk/brics/article/view/21911