Type-Logical Syntax - Kubota, Yusuke (Verfasser); Levine, Robert (Verfasser) (The MIT Press, 2020)