The standard architecture for quantum computers follows the quantum circuit model, which
presents quantum computations as sequences of gates over qubits. As with classical …

Abstract Domain-specific languages are often embedded inside of general-purpose host
languages so that the embedded language can take advantage of host-language data …

Many different systems of logic, such as linear logic, lax logic, and various modal logics have
been studied extensively and find applications in diverse domains. Likewise, in the context …