Works matching IS 09601295 AND DT 2006 AND VI 16 AND IP 3
Results: 8
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
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
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
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
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
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
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
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