Type-Logical Semantics (Paper) by Bob Carpenter