1
교회 숫자를 포함한 람다 미적분학 평가
내가 이해하는 교회 숫자 같은 외모 (... n 번 ...) . "기능 이상이 수단 아무것도 인가 함수 배 ". λ s . λ z . 의 의씨엔cnc_nλ s . λ z. 에스λs.λz.s\lambda s. \lambda z. ss n z에스지szs\;z에스ss엔nn지zz 함수 의 가능한 정의는 다음과 같습니다. . 본문을 보면 함수의 논리를 이해합니다. …