View of Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Return to Article Details Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Download Download PDF