Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping
Read OriginalThis technical article introduces 'thinnings' as mathematical objects that witness sublist relationships, explaining their relevance beyond dependent type theory to general programming (e.g., Python). It discusses their representation, composition, and connection to operations like de Bruijn index shifting, positioning them as useful for problems in lambda calculus and data structures.
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser
Top of the Week
1
When your coding agent doesn’t understand your project, you’ll get junk
Benjamin Cane
•
1 votes
2
LLM Use in the Python Source Code
Miguel Grinberg
•
1 votes
3
Wagon’s algorithm in Python
John D. Cook
•
1 votes
4
An example conversation with Claude Code
Dumm Zeuch
•
1 votes