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