Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

Details Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

2006-02-24

arxiv.org/abs/math/0602544v3

LMCS 2 (2:1) 2006

Mathematics

Logic

To appear in Logical Methods in Computer Science

Scientific paper

10.2168/LMCS-2(2:1)2006

We answer Klop and de Vrijer's question whether adding surjective-pairing
axioms to the extensional lambda calculus yields a conservative extension. The
answer is positive. As a byproduct we obtain a "syntactic" proof that the
extensional lambda calculus with surjective pairing is consistent.

Affiliated with

Also associated with

No associations

Rating

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-224138