조합자
자유 변수가 없는 함수로, 정해진 입력에 대해 항상 예측 가능한 출력을 내놓는 논리적 연산 단위이다. λ-RLM은 SPLIT, MAP, REDUCE 등의 조합자를 사용하여 LLM의 실행 계획을 구조화한다.