research
∙
09/06/2021
Quantum CPOs
We introduce the monoidal closed category qCPO of quantum cpos, whose ob...
research
∙
07/28/2021
Semantics for Variational Quantum Programming
We consider a programming language that can manipulate both classical an...
research
∙
07/04/2018