ConceptChurch booleanModified just nowProperties 4Hide BooksChapter 5. The untyped/pure lambda-calculus JourneyProgramming Language Theory Statuslearning Tagslambda calculussemanticsEncoding:tru=λf. λs. f\text{tru} = \lambda f.\ \lambda s.\ ftru=λf. λs. ffls=λf. λs. s\text{fls} = \lambda f.\ \lambda s.\ sfls=λf. λs. s Previous in ConceptsChomsky hierarchyNext in Concepts Church numeral