람다 대수
함수 정의, 함수 적용, 재귀를 다루는 수학적 추상화 시스템으로, 모든 계산을 함수의 조합으로 표현하는 계산 모델이다. λ-RLM에서는 LLM의 제어 흐름을 정형화하는 기초 언어로 사용된다.