Type-logical semantics - Carpenter, Bob (Language, speech, and communication, 1997)