Scott’s information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a newSeely category), with a “set-theoretic” interpretation of exponentials that recovers Scott conti...
