====== 람다 대수 ======

Lambda calculus. 모든 것을 [[함수]]로 생각하는 [[계산모델]]. "모든 것"이라는 건 말 그대로 모든 것으로, 심지어 숫자([[처치숫자]]를 보시라)나 집합 등도 그에 대응하는 함수로 생각하는 최소주의적인 접근을 취한다. 그런데도 이 계산 모델은 [[튜링기계]]와 동치이다!

엄밀히 말해서 람다 대수는 크게 두 종류로 나눌 수 있다.

  * [[타입없는람다대수]]: 함수의 인자(formal parameter)에 어느 제한도 주어지지 않는다.
  * 타입 있는 람다 대수: 함수의 인자가 특정한 [[타입]]을 만족해야 한다.
    * [[단순히타입된람다대수]]
    * [[시스템F]]와 그 사촌 [[시스템Fsub]]

{{tag>전산학}}