Programming Language Theory FlashcardDefine boolean operations and, or, not for church booleans?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsPure/Untyped lambda calculus Deckpure-lambda-calculusQuestionDefine boolean operations and, or, not for church booleans?AnswerChurch booleans:tru=λf. λs. ffls=λf. λs. sAnd:and=λb1. λb2. b1 b2 flsOr:or=λb1. λb2. b1 tru b2Not:not=λb. b fls tru Previous in FlashcardsCan the type system totally not require interaction with or guidance from the programmers?Next in Flashcards Define successor, addition, multiplication, zero test, subtraction, predecessor, equality for church numerals?