This part is likely to be of relevance to linguists who are interested in the descriptive capabilities of type-logical grammar, but little attention is paid to computational aspects in this part.
the arguments made often have little relevance to mainstream computational linguistics.