Similar Items: Linear Dependent Type Theory for Quantum Programming Languages
- Bloch: a strongly typed, hardware-agnostic, hybrid quantum programming language
- Multimodal Dependent Type Theory
- Linear Dependent Types and Relative Completeness
- A dependent nominal type theory
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- An extensible equality checking algorithm for dependent type theories