Manfred Droste

  1. Bifinite Chu Spaces.

    Authors: Manfred Droste, Guo-Qiang Zhang
    Subjects: Logic in Computer Science
    Abstract

    This paper studies colimits of sequences of finite Chu spaces and their
    ramifications. We consider three base categories of Chu spaces: the generic Chu
    spaces ({\bf C}), the extensional Chu spaces ({\bf E}), and the biextensional
    Chu spaces ({\bf B}).

RSS-материал