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


(1)
(λ 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
(2)
(λ 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