Böhm tree

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:characterizedBy operational equivalence of lambda terms
gptkbp:describes infinite normal forms of lambda terms
gptkbp:field gptkb:lambda_calculus
https://www.w3.org/2000/01/rdf-schema#label Böhm tree
gptkbp:namedAfter gptkb:Corrado_Böhm
gptkbp:relatedTo normal form
infinite tree
lambda term
gptkbp:usedIn denotational semantics
theory of computation
gptkbp:bfsParent gptkb:Böhm's_theorem
gptkbp:bfsLayer 6