The first part of the talk reviews in full generality intersection type theories and filter models, i.e. lambda-calculus models, generated by them.

The second part of the talk gives an overview of how various authors exploited intersection types in different developments and applications.

Finally some new results dealing with the interpretation of unsolvable lambda-terms in filter models will be discussed.