Extending the Lambda Calculus with Surjective Pairing is Conservative

Roel C. de Vrijer

Browse the full LICS paper archive.