Skip to search formSkip to main contentSkip to account menu

Böhm tree

Known as: Bohm tree, Bohm trees, Böhm trees 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Computable topologyDenotational semanticsDirected acyclic graphFixed-point combinator

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
SUN-LIKE MAGNETIC CYCLES IN THE RAPIDLY ROTATING YOUNG SOLAR ANALOG HD 30495
A growing body of evidence suggests that multiple dynamo mechanisms can drive magnetic variability on different timescales, not… 
2013
2013
Mezi Brnem a Vídní: divadelní ředitel Johann Heinrich Böhm a počátek osvícenských reforem v městském divadle v Brně
Studie se zabýva dějinami městskeho divadla v Brně mezi lety 1770–1792. V zavěru 18. stoleti – v letech pozdniho osvicenstvi – se… 
2010
2010
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Review
2008
Review
2008
"Keeping Land in Capital Theory: Ricardo, Faustmann, Wicksell, and George"
Most economists today live in a two-factor world: There is just labor and capital. Land, so central to classical political… 
2005
2005
Skew and ω-Skew Confluence and Abstract Böhm Semantics
Skew confluence was introduced as a characterization of nonconfluent term rewriting systems that had unique infinite normal forms… 
2004
2004
Die Schorfresistenzprüfung im Freiland, ihre Möglichkeiten und ihre Anwendung
Zusammenfassung1.Die Anwendungsmöglichkeit einer in vorangegangenen Untersuchungen entwickelten Infektionsmethode für Resistenzpr… 
2004
2004
Il mercato del lavoro nella storia del pensiero economico
1. Questa non e una storia del pensiero economico sul mercato del lavoro. Non pretende di avere ne rigore filologico ne… 
2002
2002
Paths of the Weberian–Austrian Interconnection
This paper centers on the theoretical–methodological interconnections between Weber and the Austrian economists. First, the… 
Review
1997
Review
1997
Capital and time: Variations on a Hicksian theme
1983
1983
Bohm-Bawerk's first interest theory, with C.Menger - Bohm-Bawerk correspondence 1884-85
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)