3/8/2026
•
EN
Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping
Explores the concept of 'thinnings' as witness data for sublist relationships, connecting them to programming and lambda calculus.