United - Notepad File Edit Format View Help Consider the following two simply typed a calculus terms, using the following basis I BASE-TYPES - Int Real BASE-TERMS - plus lmplus 1 7 1 pi TYPE-EN- (plus : Int -> Int -> Int, rplus : Real > Real -> Real, 7 : Int, pl. Real) terul - (p:111 P (Aa:112 6:113. a)) (( X:T14 y:T15 2:16. 2xy) pl) teru - (p:T21 F:122. (1x1123 y: 124 2:12. 2*y) (f (p (:126 :127. a)) (f (p (ab. )) ( 2:128.2 pl ) For each of the two terms, either (a) 1 in appropriate types for the 111, 112, ete to make the ters type check, and show that it type checks or (b) show that this is impossible. Hint: it is possible for one and impossible for the other. United - Notepad File Edit Format View Help Consider the following two simply typed a calculus terms, using the following basis I BASE-TYPES - Int Real BASE-TERMS - plus lmplus 1 7 1 pi TYPE-EN- (plus : Int -> Int -> Int, rplus : Real > Real -> Real, 7 : Int, pl. Real) terul - (p:111 P (Aa:112 6:113. a)) (( X:T14 y:T15 2:16. 2xy) pl) teru - (p:T21 F:122. (1x1123 y: 124 2:12. 2*y) (f (p (:126 :127. a)) (f (p (ab. )) ( 2:128.2 pl ) For each of the two terms, either (a) 1 in appropriate types for the 111, 112, ete to make the ters type check, and show that it type checks or (b) show that this is impossible. Hint: it is possible for one and impossible for the other