scientific article; zbMATH DE number 7364201
From MaRDI portal
Publication:4997288
zbMath1464.68045MaRDI QIDQ4997288
Publication date: 29 June 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2014.12
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantum computation (81P68) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General theory of (C^*)-algebras (46L05)
Related Items (5)
Semantics for a quantum programming language by operator algebras ⋮ Total and Partial Computation in Categorical Quantum Foundations ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Complete positivity and natural representation of quantum computations ⋮ Inversion, Iteration, and the Art of Dual Wielding
This page was built for publication:
