Syntax With Binders COS 441 Princeton University Fall 2004 Quick Review About Binding Difference between bound and free variables x. (x + y) -equivalence x. x =…
