In the QRAM model, quantum computation is performed under the control of a classical host. An interesting implication of this model is that the quantum circuit construction in the classical host can be dependent on the result of a measurement: there is a transfer of information from the quantum co-processor to the classical host. We call this transfer dynamic lifting. The goal of this paper is to find a model and formalize a semantics for interleaved quantum circuits and dynamic lifting.