Interpreting quantum parallelism by sequents
scientific article; zbMATH DE number 5835450