Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The Vienna VLBI and Satellite Software (VieVS) is state-of-the-art Very Long Baseline Interferometry (VLBI) analysis software for… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
2015
2015
A growing body of evidence suggests that multiple dynamo mechanisms can drive magnetic variability on different timescales, not… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Review
2003
Review
2003
  • Hayek, BÖHM-BAWERK
  • 2003
  • Corpus ID: 18707536
In the original mission statement of the Review of Austrian Economics, the predecessor of the Quarterly Journal of Austrian… Expand
Is this relevant?
2001
2001
Macroeconomic analysis has been relatively neglected by Austrian economists since the beginning of the Austrian revival in the… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2001
2001
Entwined structures (A,C, ψ) were introduced by Brzeziński and Majid to study the interdependence of an R-algebra A and an R… Expand
Is this relevant?
1999
1999
We present a game model of the untyped λ-calculus, with equational theory equal to the Bohm tree λ-theory B, which is universal… Expand
Is this relevant?
1998
1998
  • P. Curien
  • Math. Struct. Comput. Sci.
  • 1998
  • Corpus ID: 46657063
We present a formalism of trees with pointers, called abstract Bohm trees, that provide a suitable abstract framework in which… Expand
Is this relevant?
1997
1997
Two variations of the intersection type assignment system are studied in connection with Bohm-trees. One is the intersection type… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
  • R. Cosmo
  • Progress in Theoretical Computer Science
  • 1995
  • Corpus ID: 39167018
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language… Expand
  • table 1.1
  • figure 1.1
  • table 1.2
  • figure 1.2
  • table 1.5
Is this relevant?
Highly Cited
1985
Highly Cited
1985
  • H. Barendregt
  • Studies in logic and the foundations of…
  • 1985
  • Corpus ID: 58318238
Towards the Theory. Introduction. Conversion. Reduction. Theories. Models. Conversion. Classical Lambda Calculus. The Theory of… Expand
Is this relevant?