2. (6 points) Determinacy of A-Calculus In UAE, we discussed the property of determinacy at some length. Is the call-by-value evaluation strat- egy of A-Calculus determinate? If yes, provide a (traditional) proof of determinacy. If no, provide a ( traditional) proof of non-determinacy. The operational semantics of the call-by-value strategy are given below. - (untyped) Syntax Evaluation t- t' t terms: X variable t1 - t1 (E-APPI) Ax . t abstraction t1 t2 - t] t2 tt application t2 - t2 (E-APP2) values: V1 t2 - V1 t2 Ax . t abstraction value (Xx. t12) V2 - [X - V2]t12 (E-APPABS)