Stav dette: Type-Logical Semantics /