Booleans in the Lambda Calculus
Show how functions in the lambda calculus can be used to represent True, False, and Boolean operations like NOT, AND, OR, etc.
Show how functions in the lambda calculus can be used to represent True, False, and Boolean operations like NOT, AND, OR, etc.