Introduction to Quanticol

Twenty20 presentation by Stephen Gilmore. With Audio.

From the FoCAS Inter-project meeting, Barcelona, June 2013.