4 ms·
Binary Lambda Calculus uses de-Bruijn indices [1], thereby avoiding the need for alpha renaming. [1] https://en.wikipedia.org/wiki/De_Bruijn_index https://en.w
by tromp 2y ago
Binary Lambda Calculus uses de-Bruijn indices [1], thereby avoiding the need for alpha renaming.
[1] https://en.wikipedia.org/wiki/De_Bruijn_index https://en.wikipedia.org/wiki/De_Bruijn_index