Intersection Types and Lambda Theories (2002)
| Venue: | International Workshop on Isomorphisms of Types |
| Citations: | 3 - 1 self |
BibTeX
@INPROCEEDINGS{Dezani-Ciancaglini02intersectiontypes,
author = {M. Dezani-Ciancaglini and S. Lusin and M. Dezani-ciancaglini S. Lusin},
title = {Intersection Types and Lambda Theories},
booktitle = {International Workshop on Isomorphisms of Types},
year = {2002},
pages = {200--2}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of l-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 recursive predicate. This allows us to prove the consistency of a well-know l-theory: this consistency has interesting consequences on the algebraic structure of the lattice of l-theories.
