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

Hans Aberg haberg-1 at telia.com
Thu Dec 30 10:27:32 CET 2010

On 30 Dec 2010, at 03:05, Mark Spezzano wrote:

> ... regarding formal definitions of FREE and BOUND variables he  
> gives Defn 5.2 as

It is the occurrence of a variable that is free or bound. An  
occurrence of a variable is bound if it is in the scope of something  
that binds it; otherwise it is free.

More information about the Haskell-Cafe mailing list