Circuit Width Estimation via Effect Typing and Linear Dependency | Publicación