🗄️
math-debrief
More
Search
Ctrl + K
Lambda calculus encoding schemes
Previous
04-definition
Next
bohm-berarducci-encoding
Last updated
2 years ago
bohm-berarducci-encoding
Index of Church encodings
Church encodings
Church Numerals
Encoding data structures
Encoding schemes in lambda calculi
Lambda encoding
Mogensen-Scott encoding
Parigot encoding
encodings