Corpus ID: 236469432

Semantics for Variational Quantum Programming

  title={Semantics for Variational Quantum Programming},
  author={Xiaodong Jia and Andre Kornell and Bert Lindenhovius and Michael W. Mislove and Vladimir Zamdzhiev},
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The classical subsystem of the language is the Probabilistic FixPoint Calculus (PFPC), which is a lambda calculus with mixed-variance recursive types, term recursion and probabilistic choice. The quantum subsystem is a first-order linear type system that can… Expand

Figures from this paper