← Back to context

Comment by tromp

3 days 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

0 comments

tromp

Reply

No comments yet

Contribute on Hacker News ↗