Type-logical semantics - Carpenter, Bob. (MIT Press, 1997)