Logical Methods in Computer Science
Journal
Publications
- 2020
- Published
Towards a Minimal Stabilizer ZX-calculus
Miriam Backens, 22 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 19:1-19:30Research output: Contribution to journal › Article › peer-review
- 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 › peer-review
- 2019
- 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 › peer-review
- Published
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Jamie Vicary, 26 Jul 2019, In: Logical Methods in Computer Science. 15, 3Research output: Contribution to journal › Article › peer-review
- 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 › peer-review
- 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 › peer-review
- 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 › peer-review
- 2018
- Published
Categorical structures for type theory in univalent foundations
Benedikt Ahrens, 11 Sep 2018, In: Logical Methods in Computer Science. 14, 3, 18 p., 18.Research output: Contribution to journal › Article › peer-review
- 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 › peer-review
- 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 › peer-review