High-Level Methods for Quantum Computation and Information
Samson Abramsky
所有作者
Samson Abramsky
文献摘要
A research programme is set out for developing the use of high-level methods
for quantum computation and information, based on the categorical formulation
of quantum mechanics introduced by the author and Bob Coecke.