Homework 1 # one can write arbitrary comments in this file after hashes constants constants constants variables variables

of of of of of type type type type type e : a b-c <e,t> : P-Q; display as: one-place predicate <e*e,t> : R; display as: two-place predicate e : x-z <et> : X Y; display as: one-place predicate

exercise semantic types title Semantic Types directions Give the semantic type of the following lambda-expressions. You may w ant to simplify them in your mind if necessary before assigning a type. points per exercise 20 Lx[P(x) & Q(x)] exercise lambda conversion title Lambda Conversion directions After checking that the type of the function and the type of the directions argument(s) match, simplify the following expressions performing directions one lambda-conversion at a time. points per exercise 10 Lx[P(x) & Q(x)] (a) LxLy[R(a,y) & Q(x)] (a) (b) Lx.Ey[R(y,x)] (y) Lx[a] (b) Lx[P(x) -> Ex[R(x,b)]] (a) LxLx[P(x) -> R(x,c)] (a) (b)