TY  - RPRT
TI  - Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
AU  - Kristian Stoevring
PY  - 2006
DO  - 10.2168/lmcs-2(2:1)2006
UR  - https://arxiv.org/abs/math/0602544
ID  - math/0602544
ER  -