On the public citation graph

Quantum Circuits Are Just a Phase

https://doi.org/10.1145/3776731
0 signed · 56 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/9781444340563openalex-snapshot
Living Language
inferredcites →https://doi.org/10.1007/978-3-031-90897-2_8openalex-snapshot
Combining quantum and classical control: syntax, semantics and adequacy
inferredcites →https://doi.org/10.1007/978-3-031-95908-0_3openalex-snapshot
Towards a Computational Quantum Logic
inferredcites →https://doi.org/10.1007/978-3-319-89366-2_19openalex-snapshot
From Symmetric Pattern-Matching to Quantum Control
inferredcites →https://doi.org/10.1007/978-3-540-70583-3_25openalex-snapshot
Interacting Quantum Observables
inferredcites →https://doi.org/10.1007/bfb0059555openalex-snapshot
Coherence for distributivity
inferredcites →https://doi.org/10.1016/c2014-0-02660-3openalex-snapshot
Foundations of Quantum Programming
inferredcites →https://doi.org/10.1016/j.jlamp.2016.08.003openalex-snapshot
Join inverse categories and reversible recursion
inferredcites →https://doi.org/10.1016/j.jlamp.2022.100790openalex-snapshot
Semantics of quantum programming languages: Classical control, quantum control
inferredcites →https://doi.org/10.1016/j.jlamp.2026.101156openalex-snapshot
Proto-Quipper with reversing and control
inferredcites →https://doi.org/10.1017/9781108587280openalex-snapshot
Modern Quantum Mechanics
inferredcites →https://doi.org/10.1017/cbo9780511813887openalex-snapshot
Quantum Computing for Computer Scientists
inferredcites →https://doi.org/10.1017/cbo9780511976667openalex-snapshot
Quantum Computation and Quantum Information
inferredcites →https://doi.org/10.1038/299802a0openalex-snapshot
A single quantum cannot be cloned
inferredcites →https://doi.org/10.1038/ncomms8913openalex-snapshot
Experimental superposition of orders of quantum gates
inferredcites →https://doi.org/10.1038/s41467-017-01904-7openalex-snapshot
Complete 3-Qubit Grover search on a programmable quantum computer
inferredcites →https://doi.org/10.1038/s42254-020-00245-7openalex-snapshot
Quantum programming languages
inferredcites →https://doi.org/10.1088/2058-9565/ac47f1openalex-snapshot
Weakly measured while loops: peeking at quantum states
inferredcites →https://doi.org/10.1090/s0002-9939-1959-0108732-6openalex-snapshot
On the Product of Semi-Groups of Operators
inferredcites →https://doi.org/10.1093/oso/9780198739623.001.0001openalex-snapshot
Categories for Quantum Theory
inferredcites →https://doi.org/10.1103/physreva.70.052318openalex-snapshot
Arbitrarily accurate composite pulse sequences
inferredcites →https://doi.org/10.1103/physreva.88.022318openalex-snapshot
Quantum computations without definite causal structure
inferredcites →https://doi.org/10.1103/physreva.94.022340openalex-snapshot
Quantum conditional operations
inferredcites →https://doi.org/10.1103/physrevlett.118.010501openalex-snapshot
Optimal Hamiltonian Simulation by Quantum Signal Processing
inferredcites →https://doi.org/10.1103/physrevx.6.041067openalex-snapshot
Methodology of Resonant Equiangular Composite Quantum Gates
inferredcites →https://doi.org/10.1103/prxquantum.2.040203openalex-snapshot
Grand Unification of Quantum Algorithms
inferredcites →https://doi.org/10.1109/focs61266.2024.00070openalex-snapshot
Quantum Eigenvalue Processing
inferredcites →https://doi.org/10.1109/lics.2001.932506openalex-snapshot
Normalization by evaluation for typed lambda calculus with coproducts
inferredcites →https://doi.org/10.1109/lics.2005.1openalex-snapshot
A Functional Quantum Programming Language
inferredcites →https://doi.org/10.1109/lics56636.2023.10175801openalex-snapshot
A Complete Equational Theory for Quantum Circuits
inferredcites →https://doi.org/10.1112/blms.13010openalex-snapshot
Axioms for the category of Hilbert spaces and linear contractions
inferredcites →https://doi.org/10.1145/2076450.2076469openalex-snapshot
Programming by optimization
inferredcites →https://doi.org/10.1145/237814.237866openalex-snapshot
A fast quantum mechanical algorithm for database search
inferredcites →https://doi.org/10.1145/2535838.2535879openalex-snapshot
Applying quantitative semantics to higher-order quantum computing
inferredcites →https://doi.org/10.1145/2699415openalex-snapshot
Programming the quantum future
inferredcites →https://doi.org/10.1145/3183895.3183901openalex-snapshot
Q#
inferredcites →https://doi.org/10.1145/3385412.3386007openalex-snapshot
Silq: a high-level quantum language with safe uncomputation and intuitive semantics
inferredcites →https://doi.org/10.1145/3505636openalex-snapshot
OpenQASM 3: A Broader and Deeper Quantum Assembly Language
inferredcites →https://doi.org/10.1145/3571204openalex-snapshot
Proto-Quipper with Dynamic Lifting
inferredcites →https://doi.org/10.1145/3571225openalex-snapshot
Qunity: A Unified Language for Quantum and Classical Computing
inferredcites →https://doi.org/10.1145/3632861openalex-snapshot
With a Few Square Roots, Quantum Computing Is as Easy as Pi
inferredcites →https://doi.org/10.1145/3656436openalex-snapshot
Compiling Conditional Quantum Gates without Using Helper Qubits
inferredcites →https://doi.org/10.1145/3704842openalex-snapshot
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
inferredcites →https://doi.org/10.1145/3729283openalex-snapshot
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
inferredcites →https://doi.org/10.1145/503271.503224openalex-snapshot
The structure and value of modularity in software design
inferredcites →https://doi.org/10.2139/ssrn.4705308openalex-snapshot
Quantum Recursive Programming with Quantum Case Statements
inferredcites →https://doi.org/10.22331/q-2025-05-21-1752openalex-snapshot
Rise of conditionally clean ancillae for efficient quantum circuit constructions
inferredcites →https://doi.org/10.4204/eptcs.195.3openalex-snapshot
Quantum Alternation: Prospects and Problems
inferredcites →https://doi.org/10.4204/eptcs.351.10openalex-snapshot
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
inferredcites →https://doi.org/10.4230/lipics.fscd.2024.19openalex-snapshot
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
inferredcites →https://doi.org/10.4230/lipics.icalp.2022.119openalex-snapshot
Circuit Extraction for ZX-Diagrams Can Be #P-Hard
inferredcites →https://doi.org/10.48550/arxiv.2303.17399openalex-snapshot
The Zeta Calculus
inferredcites →https://doi.org/10.48550/arxiv.2312.02883openalex-snapshot
Pre-Hilbert $*$-categories: The Hilbert-space analogue of abelian categories
inferredcites →https://doi.org/10.48550/arxiv.2508.01146openalex-snapshot
Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories
inferredcites →https://doi.org/10.5281/zenodo.17290342openalex-snapshot
Phase-rs - rust implementation of quantum phase language

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← backgroundhttps://doi.org/10.5281/zenodo.17467011zenodo-depositor-declared
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.