Visning af: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Tilbage til artikeldetaljer Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Download Download PDF