Böhm's theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:untyped_lambda_calculus
gptkbp:field gptkb:lambda_calculus
https://www.w3.org/2000/01/rdf-schema#label Böhm's theorem
gptkbp:implies lambda terms with different Böhm trees are separable by a context
gptkbp:namedAfter gptkb:Corrado_Böhm
gptkbp:relatedTo gptkb:Böhm_tree
separation property
gptkbp:sentence If two closed lambda terms have different Böhm trees, then there exists a context that distinguishes them.
gptkbp:usedIn theory of programming languages
gptkbp:yearProposed 1968
gptkbp:bfsParent gptkb:Corrado_Böhm
gptkbp:bfsLayer 5