A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)

zbMath1486.81067arXiv1706.02630MaRDI QIDQ3384934

Francisco Franklin Sousa Rios, Peter Selinger

Publication date: 17 December 2021

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

Mathematics Subject Classification ID

Quantum computation (81P68) Monoidal categories, symmetric monoidal categories (18M05)

Related Items (14)

Proto-Quipper-M ⋮ Linear Dependent Type Theory for Quantum Programming Languages ⋮ Modality via iterated enrichment ⋮ Software science view on quantum circuit algorithms ⋮ Quantum Suplattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantics for a lambda calculus for string diagrams ⋮ Quantum CPOs ⋮ Quantum Hoare type theory: extended abstract ⋮ QPCF: higher-order languages and quantum circuits ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic

Uses Software

• Quipper

Cites Work

• QWIRE: a core language for quantum circuits
• On closed categories of functors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)