Similar Items: Bloch: a strongly typed, hardware-agnostic, hybrid quantum programming language
- Linear Dependent Type Theory for Quantum Programming Languages
- On the Strong Equivalences for LPMLN Programs
- From Policy to Practice: A Sector-Agnostic Operational Framework for Post-Quantum Cryptography Transition
- Non-idempotent intersection types and strong normalisation
- The language of Stratified Sets is confluent and strongly normalising
- A tier-based typed programming language characterizing Feasible Functionals