타입 없는 람다 대수

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