Lambda Calculus


### 추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계
- 람다 대수의 항은 변수와 추상화 및 적용 연산을 통해 구성
- 추상화의 기호로는 그리스 문자 람다(λ)가 사용
- 람다 대수의 항들에 대하여 알파 동치와 베타 축약 등의 연산을 수행가능
> - 알파 동치는 제한 변수를 변경하는 변환으로서 이름 충돌을 방지하기 위해 사용
> - 베타 축약은 함수 적용을 적절한 치환 연산 결과로 대신하는 변환
람다 대수는 함수를 단순하게 표현할 수 있도록 하여 '함수의 계산'이라는 개념을 더 깊이 이해
### Lambda Calculus Notion
|Title|
|:-:|
|[Lambda Calculus History](https://texonom.com/lambda-calculus-history-ad4634d86cf34d07a32ecae070c34ba4)|
|[syntactic abstraction](https://texonom.com/syntactic-abstraction-3199ad7dddd94a349a4e0e4d2eccb5b5)|
|[자유 변수](https://texonom.com/570324b737f345db9a44ae12971d8095)|
|[순수 람다 대수](https://texonom.com/b93646b8e9394e66b6d4dfe9ed92dc1d)|
|[비순수 람다 대수](https://texonom.com/a33694e0725548e0abd0805d02a9eca4)|
|[드 브루인 첨수](https://texonom.com/bdbe288bc0f242e78590319ccc48527d)|
|[처치-로서 정리](https://texonom.com/7f9218bba40448ca83194354c5933b52)|


### Lambda Calculus Usage
|Title|
|:-:|
|[Boolean satisfiability problem](https://texonom.com/boolean-satisfiability-problem-9c9a375877134398b12c966e905e88c4)|


> [람다 대수](https://ko.wikipedia.org/wiki/%EB%9E%8C%EB%8B%A4_%EB%8C%80%EC%88%98)





