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

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

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