Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:concept
|
| gptkbp:falseRepresentation |
λx.λy.y
|
| gptkbp:field |
gptkb:lambda_calculus
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Church booleans
|