Special issue on quantum programming languages
Peter Selinger
págs. 373-374
Types and typechecking for Communicating Quantum Processes
Simon Gay, Rajagopal Nagarajan
págs. 375-406
Relations among quantum processes: bisimilarity and congruence
Marie Lalire
págs. 407-428
Quantum weakest preconditions
Ellie D'hondt, Prakash Panangaden
págs. 429-451
Structuring quantum effects: superoperators as arrows
Juliana Vizzotto, Thorsten Altenkich, Amr Sabry
págs. 453-468
A categorical quantum logic
Samson Abramsky, Ross Duncan
págs. 469-489
LQP: the dynamic logic of quantum information
Alexandru Baltag, Sonja Smets
págs. 491-525
A lambda calculus for quantum computation with classical control
Peter Selinger, Benoit Valiron
págs. 527-552
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: