English Böhm tree Cited by user RDBrown on 04 Sep 2022 A Böhm tree is a (potentially infinite) tree-like mathematical object that can be used to provide denotational semantics (the "meaning") for terms of the lambda calculus …