Concept

Church encoding

Related lectures (5)

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Explores Church numerals and encoding conditionals in lambda calculus.

Covers high-order functions, parser, and type checker concepts.

Covers operational semantics and evaluation strategies in lambda calculus, including redex, alternative evaluation strategies, and Church Booleans.

Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.