Applied Categorical Structures, 0927-2852

Journal

Publications

  1. Published

    Relating categorical semantics for intuitionistic linear logic

    Eike Ritter, 1 Jan 2005, In : Applied Categorical Structures. 13, 1, p. 1-36 36 p.

    Research output: Contribution to journalArticle

  2. Published

    Quotients of d-Frames

    Tomas Jakl, Achim Jung, Jun 2019, In : Applied Categorical Structures. 27, 3, p. 261-275 15 p.

    Research output: Contribution to journalArticle

  3. Published

    Joins in the Frame of Nuclei

    Martin Escardo, 1 Jan 2003, In : Applied Categorical Structures. 11, 2, p. 117-124 8 p.

    Research output: Contribution to journalArticle

  4. Published