Towards a quantum programming language
Mathematical Structures in Computer Science
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A lambda calculus for quantum computation with classical control
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Journal of the ACM (JACM)
Quantum Patterns and Types for Entanglement and Separability
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Programming With Mixed States
Electronic Notes in Theoretical Computer Science (ENTCS)
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Commutativity of quantum weakest preconditions
Information Processing Letters
Proof rules for the correctness of quantum programs
Theoretical Computer Science
Probabilistic bisimulations for quantum processes
Information and Computation
Quantum Data and Control Made Easier
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
IBM Journal of Research and Development
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Generalised quantum weakest preconditions
Quantum Information Processing
Foundations of quantum programming
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Floyd--hoare logic for quantum programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
UC'05 Proceedings of the 4th international conference on Unconventional Computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A lambda calculus for quantum computation with classical control
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Computations and relational bundles
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Hi-index | 0.00 |