In this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative ...