Programming with a quantum stack

This thesis presents the semantics of quantum stacks and a functional quantum programming language, L-QPL.An operational semantics for L-QPL based on quantum stacks in the form of a term logic is developed and used as an interpretation of quantum circuits.The operational semantics is then extended t... View More