🗄️
math-debrief
More
Search
Ctrl + K
encodings
Previous
Parigot encoding
Next
Encoding data structures
Encoding data structures
Encoding of Data Types in the λ-calculus
church-booleans
Church data structures
Church encoding
Church Numerals: Church encoding of natural numbers
Lambda Calculus: Church encoding
Lambda Calculus: Church encoding
church-numerals
Lambda Calculus: Church encoding: Numerals
Church pair
Pair
Lambda Calculus: Church encoding
Alternative encodings
Encoding schemes
Encoding schemes
Encodings in Untyped Lambda Calculus
Lambda calculus
Scott encoding
Lambda calculus: Scott encoding