Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative (2005)

by Kristian Støvring
Citations:3 - 0 self