Type-logical semantics - Carpenter, Bob (MIT Press, 1997)
A Bradford book