Intersection Types and Lambda Theories

Details Intersection Types and Lambda Theories Intersection Types and Lambda Theories

2002-11-12

arxiv.org/abs/cs/0211011v1

Computer Science

Logic in Computer Science

Scientific paper

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation of an arbitrary simple easy term is any filter which can be described in an uniform way by a predicate. This allows us to prove the consistency of a well-know lambda theory: this consistency has interesting consequences on the algebraic structure of the lattice of lambda theories.

Affiliated with

Also associated with

No associations

Rating

Intersection Types and Lambda Theories 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 Intersection Types and Lambda Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intersection Types and Lambda Theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-293761