Slide 1Problems of syntax-semantics interface ESSLLI 02 Trento Slide 2 summary The need for lambda calculus From Montague grammar to categorial grammar Lambek calculus Curry-Howard…