Intersection Types, Lambda-models and Böhm Trees.