Logical Methods in Computer Science

Journal

1 - 10 out of 17Page size: 10

Publications

  1. 2020
  2. Published

    On the logical complexity of cyclic arithmetic

    Anupam Das, 6 Jan 2020, In : Logical Methods in Computer Science. 16, 1, p. 1:1 - 1:39 39 p., 4818.

    Research output: Contribution to journal › Article

  3. 2019
  4. Published

    The dynamic geometry of interaction machine: a token-guided graph rewriter

    Koko Muroya & Dan Ghica, 30 Oct 2019, In : Logical Methods in Computer Science. 15, 4, 32 p., 4340.

    Research output: Contribution to journal › Article

  5. Published

    Coherence for Frobenius pseudomonoids and the geometry of linear proofs

    Jamie Vicary, 26 Jul 2019, In : Logical Methods in Computer Science. 15, 3

    Research output: Contribution to journal › Article

  6. Published

    Initial semantics for reduction rules

    Benedikt Ahrens, 21 Mar 2019, In : Logical Methods in Computer Science. 15, 1, p. 28:1-28:45 45 p.

    Research output: Contribution to journal › Article

  7. Published

    Displayed Categories

    Benedikt Ahrens, 5 Mar 2019, In : Logical Methods in Computer Science. 15, 1, 18 p., 20.

    Research output: Contribution to journal › Article

  8. Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 5 Feb 2019, In : Logical Methods in Computer Science. 15, 1, p. 9:1-9:23 23 p., 9.

    Research output: Contribution to journal › Article

  9. 2018
  10. Published

    Categorical structures for type theory in univalent foundations

    Benedikt Ahrens, 11 Sep 2018, In : Logical Methods in Computer Science. 14, 3, 18 p., 4814.

    Research output: Contribution to journal › Article

  11. Published

    A Ghost at ω1

    Paul Levy, 26 Jul 2018, In : Logical Methods in Computer Science. 14, 3, 27 p., 4714.

    Research output: Contribution to journal › Article

  12. Published

    Globular: an online proof assistant for higher-dimensional rewriting

    Jamie Vicary, 22 Jan 2018, In : Logical Methods in Computer Science. 14, 1, 16 p., 8.

    Research output: Contribution to journal › Article

  13. Published

    The Ho Zhao Problem

    Achim Jung, 17 Jan 2018, In : Logical Methods in Computer Science. 14, 1, 19 p., 7.

    Research output: Contribution to journal › Article

Previous 1 2 Next