output
20172022
most citedGraph-theoretic Simplification of Quantum Circuits with the ZX-calculus

194 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2020 · cs.LOShow all

1 paper · 2 filters

cs.LO2020★ 1 cited

Computational Adequacy for Substructural Lambda Calculi

Vladimir Zamdzhiev

Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many…