The quantum IO monad (2009)

by T Altenkirch, A Green
Venue:Semantic Techniques in Quantum Computation