プログラミング言語意味論（2020 年度）テスト解答例（一部）

(λ x y. y x x) (λ x y. y) (λ z w. w z)
→ (λ y. y (λ x y. y) (λ x y. y)) (λ z w. w z)
→ (λ z w. w z) (λ x y. y) (λ x y. y)
→ (λ w. w (λ x y. y)) (λ x y. y)
→ (λ x y. y) (λ x y. y)
→ λ y. y

(λ x y. x y (λ u v. u)) (λ a b. a) (λ c d. d)
→ (λ y. (λ a b. a) y (λ u v. u)) (λ c d. d)
→ (λ a b. a) (λ c d. d) (λ u v. u)
→ (λ b c d. d) (λ u v. u)
→ λ c d. d