Simon Gay

• Behavioural Types
• Change-Ringing on Handbells : Volume 1
• Semantic Techniques in Quantum Computation