Combinatory Logic on 15h
November 2011
CL Exercises
Homework due on 15th
November 2011
Deadline 6th
December 2011
A. β-reduction and normal form
1. Give the deductions of the following combiantory expressions and find its normal form.
Please precise the applied Intro. and Elim. rules of combiantors.
S(BBS)(KK)xyz
B. CCG and combinators
a. Mary is running in the park.
b. He worked hard and succeeded his career.
1) Give the combinatory categorial calculus of the sentences a and b.
2) Give the formal semantic analysis of the sentences a and b in term of combinators.