Reduction in X does not agree with Intersection and Union Types (Extended abstract)

Details Reduction in X does not agree with Intersection and Union Types (Extended abstract) Reduction in X does not agree with Intersection and Union Types (Extended abstract)

2011-09-21

arxiv.org/abs/1109.4570v1

Computer Science

Logic in Computer Science

4th International Workshop on Intersection Types and Related Systems (ITRS'08), Turin, Italy, March 2008

Scientific paper

This paper defines intersection and union type assignment for the calculus X, a substitution free language that enjoys the Curry-Howard correspondence with respect to Gentzen's sequent calculus for classical logic. We show that this notion is closed for subject-expansion, and show that it needs to be restricted to satisfy subject-reduction as well, making it unsuitable to define a semantics.

Affiliated with

Also associated with

No associations

Rating

Reduction in X does not agree with Intersection and Union Types (Extended abstract) 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 Reduction in X does not agree with Intersection and Union Types (Extended abstract), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reduction in X does not agree with Intersection and Union Types (Extended abstract) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-257990