Type-logical syntax - Kubota, Yusuke; Levine, Robert 1947- (The MIT Press, 2020)