Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,627,681 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Computable topology
Denotational semantics
Directed acyclic graph
Fixed-point combinator
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Aleksander Böhm – wystawa jubileuszowa 50-lecia pracy
A. Zachariasz
,
I. Sykta
2017
Corpus ID: 186528132
2016
2016
Böhm-Bawerk meets Keynes
U. Suntum
,
T. Neugebauer
2016
Corpus ID: 158275590
2016
2016
Infinitary Intersection Types as Sequences: a New Answer to Klop's Question
Pierre Vial
arXiv.org
2016
Corpus ID: 935799
We provide a type-theoretical characterization of weakly-normalizing terms in an infinitary lambda-calculus. We adapt for this…
Expand
2010
2010
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
Fuji International Symposium on Functional and…
2010
Corpus ID: 11278508
2010
2010
War and the Austrian School: Applying the economics of the Founders
Scott A. Kjar
,
W. L. Anderson
2010
Corpus ID: 143712697
The Austrian school of economics is generally considered an antiwar school. The Austrian view is not derived from a religious or…
Expand
2004
2004
Die Schorfresistenzprüfung im Freiland, ihre Möglichkeiten und ihre Anwendung
G. Hoffmann
Der Züchter
2004
Corpus ID: 27275384
Zusammenfassung1.Die Anwendungsmöglichkeit einer in vorangegangenen Untersuchungen entwickelten Infektionsmethode für Resistenzpr…
Expand
1998
1998
UNIFIED STELLAR MODELS AND CONVECTION IN COOL STARS
J. Bernkopf
1998
Corpus ID: 16306375
The formulation of boundary conditions can have a signicant influence on the solution of a system of differen- tial equations. It…
Expand
1992
1992
Karlheinz Böhm : Seine Filme-Sein Leben
Friedemann Beyer
1992
Corpus ID: 191011559
1986
1986
MARX AND BÖHM-BAWERK
T. Negishi
1986
Corpus ID: 157178040
1983
1983
Bohm-Bawerk's first interest theory, with C.Menger - Bohm-Bawerk correspondence 1884-85
Kiichiro Yagi
,
E. Bohm-Bawerk
,
C. Menger
1983
Corpus ID: 118427786