Categorical logic
 
Please contact me
 
 
 
 
 
 
Quantum Computing
 
currently being taught by S. Braunstein. Please see
 
 http://www.cs.york.ac.uk/MSc/Modules/qip.html