lambda calculus : binding variable, bound variable

http://www.htdp.org/2001-01-18/Book/node104.htm

lambda calculus에서 함수가 선언되었을 때 함수에 parameter로 입력되는 변수가 binding occurrence, 함수 안에서 사용되는 변수가  bound occurrence,

scope는 함수의 합성에 있어서 함수가 영향을 미치는 범위.... 

혹은 지역변수의 scope는 함수 내
전역변수의 scope는 함수 밖