Roel C. de Vrijer. Extending the Lambda Calculus with Surjective Pairing is Conservative. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA. pages 204-215, IEEE Computer Society, 1989.
Abstract is missing.