LQP: the dynamic logic of quantum information.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 491, doi. 10.1017/s0960129506005299
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2006 AND VI 16 AND IP 3
Results: 8
1
2
Structuring quantum effects: superoperators as arrows.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 453, doi. 10.1017/s0960129506005287
- By:
- Publication type:
- Article
3
A categorical quantum logic.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 469, doi. 10.1017/s0960129506005275
- By:
- Publication type:
- Article
4
Types and typechecking for Communicating Quantum Processes.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 375, doi. 10.1017/s0960129506005263
- By:
- Publication type:
- Article
5
Quantum weakest preconditions.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 429, doi. 10.1017/s0960129506005251
- By:
- Publication type:
- Article
6
Relations among quantum processes: bisimilarity and congruence.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 407, doi. 10.1017/s096012950600524x
- By:
- Publication type:
- Article
7
A lambda calculus for quantum computation with classical control.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 527, doi. 10.1017/s0960129506005238
- By:
- Publication type:
- Article
8
Special issue on quantum programming languages.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 3, p. 373, doi. 10.1017/s0960129506005226
- By:
- Publication type:
- Article