람다 대수
함수의 정의와 적용을 다루는 수학적 형식 체계로, 모든 계산을 함수의 조합으로 표현한다. 이 논문에서는 LLM의 제어 흐름을 수학적으로 정형화하여 실행의 안정성과 예측 가능성을 보장하는 기초 틀로 사용된다.