Categorical quantum mechanics
Samson Abramsky ( Computing Laboratory )
- 16:00 20th May 2009 ( week 4, Trinity Term 2009 )Lecture Room B, Computing Laboratory, Parks Rd
We introduce the categorical approach to quantum mechanics which we have developed with Bob Coecke and others in our group at Oxford. This provides an effective setting for quantum information and computation. We also discuss the connections to logic, and show how No-Cloning and related results can be recast in logical terms in the setting of categorical logic.