Semantik höherer Ordnung für Quantenprogrammiersprachen mit klassischer Steuerung