Punctuation change in a section title.
Added an introduction that motivates quantum computation and briefly ties it to linear logic/CT.