s-combinator

3열

2답변

SKK와 II가 베타 버전과 동일하다는 것을 입증하려면 람다 계산

나는 람다 계산법에 익숙하지 않아 다음을 증명하기 위해 고심하고 있습니다. SKK와 II는 베타 버전과 같습니다. 는 S 람다 xyz.xz (YZ를) = K = 람다 xy.x I = 람다 XX 그것을 열어서 SKK을 감소 베타하려고했으나데도 없어 그것을 지저분해진다. 적은 단계와 다른 접근 방식, 첫 λyz.z하는 SK를 줄이고,, SKK이 S를 확장하지

functional-programming lambda-calculus proof-of-correctness k-combinator s-combinator 2011-04-26

---

1열

1답변

람다 감소는 대괄호 []와 단계는 당신에게 내가 뭐하는 거지 단계를 말하고있다 <p>이 콤비 S K = K I</p>을 증명 S K = K I

안녕하세요 나는 데 문제가 증명한다. 예를 들어, λyz.xz (yz)의 [λxy.x/x]는 내가 λyz.xz (yz)라는 식의 모든 x에 대해 (λxy.x)를 대체하려한다는 것을 의미합니다. 지금까지 시도한 내용은 다음과 같습니다. SK를 줄이고 나는이있어 : S K (λxyz.x z(y z)) (λxy.x) [λxy.x/x] in λyz.x z(y

lambda lambda-calculus proof-of-correctness k-combinator s-combinator 2013-04-03

---