Type-Logical Semantics (Paper) door Bob Carpenter