Definition 2.2 (Böhm Order). Let BT be the set of all (finite or infinite) Böhm trees. For T1, T2 in BT, define T1 ⊑ T2 if T1 is a prefix (finite approximation) of T2.
https://stacker.news/items/1361283
quotingScott-Continuous Böhm Domains
note147m…lcyn
A Publishable Core for Homoiconic Information Dynamics
https://beyondturbulence.blogspot.com/2025/12/scott-continuous-bohm-domains.html?m=1