# encodings

- [Encoding data structures](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/_comprehensive_encoding.md)
- [Encoding of Data Types in the λ-calculus](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/_encoding_of_data_types.md)
- [church-booleans](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-booleans.md)
- [Church data structures](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-data-structures.md)
- [Church encoding](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-encoding.md)
- [Church Numerals: Church encoding of natural numbers](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-encoding2.md)
- [Lambda Calculus: Church encoding](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-encoding3.md)
- [Lambda Calculus: Church encoding](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-encoding4.md)
- [church-numerals](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-numerals2.md)
- [Lambda Calculus: Church encoding: Numerals](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-numerals3.md)
- [Church pair](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-pair.md)
- [Pair](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-pair2.md)
- [Lambda Calculus: Church encoding](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/church-pair3.md)
- [Alternative encodings](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/encoding-alternatives.md)
- [Encoding schemes](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/encoding-schemes.md)
- [Encoding schemes](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/encoding-schemes2.md)
- [Encodings in Untyped Lambda Calculus](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/encodings-in-untyped-lc.md)
- [Lambda calculus](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/encodings.md)
- [Scott encoding](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/scott-encoding.md)
- [Lambda calculus: Scott encoding](/math-debrief/340-lambda-calculi/lambda-calculus-encodings/encodings/scott-encoding2.md)
