Quantum Hoare type theory: extended abstract

From MaRDI portal

Publication:6645590

Jump to:navigation, search

DOI10.4204/eptcs.340.15MaRDI QIDQ6645590

Kartik Singhal, John Reppy

Publication date: 28 November 2024

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

This page was built for publication: Quantum Hoare type theory: extended abstract

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6645590&oldid=40219570"