Types as Graphs: Continuations in Type Logical Grammar · Study