Statements (13)
Predicate | Object |
---|---|
gptkbp:instanceOf |
concept
|
gptkbp:falseRepresentation |
λx.λy.y
|
gptkbp:field |
gptkb:lambda_calculus
|
https://www.w3.org/2000/01/rdf-schema#label |
Church booleans
|
gptkbp:introduced |
gptkb:Alonzo_Church
|
gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:Church_encoding |
gptkbp:represents |
boolean values in lambda calculus
|
gptkbp:trueRepresentation |
λx.λy.x
|
gptkbp:usedFor |
encoding logical operations
representing conditionals |
gptkbp:bfsParent |
gptkb:Church_encoding
|
gptkbp:bfsLayer |
7
|