Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version)

Andrea Colledan, Ugo Dal Lago

Circuit description languages are a class of quantum programming languages in which programs are classical and produce a description of a quantum computation, in the form of a quan…