Lambda Calculus

Creator
Creator
Alan JoAlan Jo
Created
Created
2020 Nov 19 13:14
Editor
Editor
Alan JoAlan Jo
Edited
Edited
2023 Apr 15 11:7
Refs
Refs

추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계

  • 람다 대수의 항은 변수와 추상화 및 적용 연산을 통해 구성
  • 추상화의 기호로는 그리스 문자 람다(λ)가 사용
  • 람다 대수의 항들에 대하여 알파 동치와 베타 축약 등의 연산을 수행가능
    • 알파 동치는 제한 변수를 변경하는 변환으로서 이름 충돌을 방지하기 위해 사용
    • 베타 축약은 함수 적용을 적절한 치환 연산 결과로 대신하는 변환
람다 대수는 함수를 단순하게 표현할 수 있도록 하여 '함수의 계산'이라는 개념을 더 깊이 이해
Lambda Calculus Notion
 
 
Lambda Calculus Usage
 
 
 
 

Recommendations