Vladimir Zamdzhiev

Latest

• Semantics for Variational Quantum Programming
• Qimaera: Type-safe (Variational) Quantum Programming in Idris
• Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
• Enriching a Linear/Non-Linear Lambda Calculus: A Programming Language for String Diagrams