Gottesman types for quantum programs
type: Item
instance of: scholarly article
title: Gottesman types for quantum programs
author: R. Rand
author: Aarthi Sundaram
author: Kartik Singhal
author: Brad Lackey
publication date: 2024-11-28T00:00:00Z
Mathematics Subject Classification ID: 81Pxx
zbMATH DE Number: 7951288
MaRDI profile type: Publication
cites work: GHZ extraction yield for multipartite stabilizer states
cites work: The Heisenberg representation of quantum computers
cites work: Q5015203
cites work: Local unitary versus local Clifford equivalence of stabilizer states
cites work: Quantum Computation and Quantum Information
cites work: Quantum patterns and types for entanglement and separability
cites work: Quantum Entanglement Analysis Based on Abstract Interpretation
cites work: Types and programing languages
cites work: Q3385643
DOI: 10.4204/EPTCS.340.14
description: scientific article; zbMATH DE number 7951288