@misc{indiciaebdba254fed61,
  title = {Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative},
  author = {Kristian Stoevring},
  year = {2006},
  doi = {10.2168/lmcs-2(2:1)2006},
  url = {https://arxiv.org/abs/math/0602544},
  note = {Source identifier: math/0602544}
}