Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Böhm tree
open-in-new
<p>In the study of <a href="/facts/Denotational_semantics/yRs3ygRA">denotational semantics</a> of the <a href="/facts/Lambda_calculus/DaD3RuQ4">lambda calculus</a>, Böhm trees, Lévy-Longo trees, and Berarducci trees are (potentially infinite) tree-like mathematical objects that capture the "meaning" of a term up to some set of "meaningless" terms. </p>