Type-Logical Semantics by Bob Carpenter