That being said, this book contains a good introduction to type-logical grammar and its first part would make a good textbook in an advanced course on the theory of type-logical grammar.
section 4, titled "Processing," introduces proof nets for Lambek categorial grammar as a more natural representation of typelogical syntax and semantics.