“…Because the collection of sets of weakly meaningless terms is uncountable, we get an uncountable class of models which are not continuous (Severi and de Vries, 2005a). The infinitary lambda calculus λ ∞ β⊥η = (Λ ∞ ⊥ , −→ β⊥η ) sketched in the last but one row incorporates the η-rule (Severi and de Vries, 2002). This calculus captures the notion of η-Böhm tree, which can be described as the eta-normal form of a Böhm tree, and gives rise to an extensional model of the lambda calculus that has the same local structure as Coppo, Dezani and Zacchi's filter model D * ∞ (Coppo et al, 1987).…”