Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Two Variables Are Not Enough:
Let n be the smallest integer such that every closed lambda term beta converts to one with at most n bound variables. We show that n = 3.
