Höhere unitäre Quantenberechnung mit Spielsemantik

Wir entwickeln eine symmetrische monoidale abgeschlossene Kategorie von Spielen, die Summen und Produkte einbezieht, um Quantenberechnung auf höheren Typen zu modellieren. Dieses Modell ist ausdrucksstark und in der Lage, alle unitären Operatoren auf Basistypen darzustellen. Es ist mit Basistypen kompatibel und durch unitäre Operatoren realisierbar.