자유 변수


람다 추상화를 통해 표현에 묶이지 않은 변수

자유 변수의 집합은 귀납적으로 정의된다.

![](https://www.notion.so/image/https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fsecure.notion-static.com%2F4894d4a5-27e4-421f-b919-32177f10083c%2FUntitled.png?table=block&id=2cf8f0b6-53a4-4600-9176-2545918c2221&cache=v2)
