타입 없는 람다 대수

Untyped lambda calculus. 말 그대로 타입이 존재하지 않는 람다 대수. 본래의 람다 대수는 처음부터 타입이 없는 것이었으나 타입이 있는 변종과 구분하기 위하여 이렇게 부르는데, 여기에는 타입 없는 람다 대수가 일반적으로는 타입이 있는 것보다 조금 더 풍부한 표현을 할 수 있다는 이유도 있다. 실제로 타입을 어떻게 넣느냐에 따라서 어떤 변종은 튜링 완전하지 않을 수도 있다. (이를테면 단순히타입된람다대수)


도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기