차이점

이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.

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

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