In this video we will talk about the church encoding, which is a way to encode basic data types and operations between said data types as functions in the lambda calculus.
This video will be part of a series that I called "Lambda Calculus For Dummies", to stress that I will try to make these videos as accessible and simple as possible.
Tags:
#lambdacalculus #functionalprogramming #functions #lambdaexpressions #mathematics
lambda calculus
lambda term
lambda expression
church encoding
church numerals
computation as functions
selectors
turing completeness
what is a lambda expression
lambda calculus for beginners
beginner
lambda calculus tutorial
tutorial
lambda calculus course
lambda calculus series
lambda calculus from scratch
functions
easy explanation
theoretical computer science
applied mathematics
mathematics for computer science
math for computer science
maths for comp sci
maths for computer science
logic
computer science
comp sci
programming
functional programming
haskell
alonzo church
turing computable
functions
lambda calculus for dummies
applied lambda calculus
ZFC
function
graph
rule
formula
function rule
programmer
