Software science view on quantum circuit algorithms

DOI10.1016/j.ic.2023.105024arXiv2209.13731MaRDI QIDQ6040659

Andreas Blass, Yuri Gurevich

Publication date: 19 May 2023

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.13731

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
• Quantum circuits with classical channels and the principle of deferred measurements
• Semantic essence of AsmL
• An Introduction to Quantum Programming in Quipper
• Quantum Computation and Quantum Information
• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
• Abstract State Machines
• Towards a quantum programming language
• Evolving Algebras 1993: Lipari Guide
• Abstract state machines capture parallel algorithms
• Ordinary interactive small-step algorithms, I
• Quantum Computer Science
• QWIRE: a core language for quantum circuits
• Interactive Small-Step Algorithms I: Axiomatization
• Sequential abstract-state machines capture sequential algorithms

This page was built for publication: Software science view on quantum circuit algorithms