bars
🗄️
math-debrief
search
circle-xmark
Ctrl
k
copy
Copy
chevron-down
510 Lambda Calculi
Lambda calculus encoding schemes
bohm-berarducci-encoding
chevron-right
Index of Church encodings
chevron-right
Church encodings
chevron-right
Church Numerals
chevron-right
Encoding data structures
chevron-right
Encoding schemes in lambda calculi
chevron-right
Lambda encoding
chevron-right
Mogensen-Scott encoding
chevron-right
Parigot encoding
chevron-right
encodings
chevron-right
Previous
04-definition
chevron-left
Next
bohm-berarducci-encoding
chevron-right
Last updated
4 years ago