Lambda Calculus and Numeric Encoding: Navigating Complexity with De Bruijn Indices and Gödel Numbers
Because naming variables is too mainstream and arithmetic is secretly fun!
This article consolidates every significant point raised in our discussion of de Bruijn indices, Gödel numbering, substitutions in lambda calculus, their interaction in proofs of confluence, and rela…