de Bruijn numbering is a way to avoid having to work modulo α-equivalence in lambda calculus. https://en.wikipedia.org/wiki/De_Bruijn_index …pic.twitter.com/DRR8ZLQdDx
8:40 AM - 27 Sep 2016
0 replies
8 retweets
11 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.