Lambda Calculus - Free & Bound Variables

Free & Bound Variables A variable occurrence is bound if it lies inside the scope of some $\lambda$ that binds it. Otherwise it&rsquo;s free . Free variables are just the &ldquo;inputs&rdquo; a term still depends on. Info When I say a variable is free/bound, I mean the occurrence . The same symbol can be both free and bound inside the same expression. Definitions We can define the set of free…