Sur l'η-expansion infinie

We give two characterizations of the ordering on Böhm trees induced by the D_∞ model, one of which formalizes a continuity property of infinite η-expansion: $\text{A}\text{?}{}_{\mathrm{\infty }}\text{B}$ if for any finite approximant A of $\text{A}$ there exists a finite approximant B of $\text{B}$ such that A is a sub-tree of B, modulo finitely many η-equalities and finitely many infinite η-expansions of variables. To cite this article: P.-L. Curien, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 77–82