The Quantum IO Monad

Semantic Techniques in Quantum Computation ◽

10.1017/cbo9781139193313.006 ◽

2014 ◽

pp. 173-205 ◽

Author(s):

Thorsten Altenkirch ◽

Alexander S. Green

Download Full-text