[Haskell-cafe] Lambda Calculus: Bound and Free formal definitions

Stefan Holdermans stefan at vectorfabrics.com
Thu Dec 30 08:42:13 CET 2010


Whether a variable is bound or free depends on the scope under consideration. In

  (\x. x) (\y. x)

the variable x is bound in \x. x, but free in \y. x; hence, it's free in (\x. x) (\y. x) as a whole. However, in

  \x. (\x. x) (\y. x)

it's bound...



More information about the Haskell-Cafe mailing list