Ross Duncan ● PrakashFest ● Oxford 2014 The non-logic of quantum computation OR: How I learned to live without propositions-as-types Ross Duncan Mathematically Structured Programming Group University of Strathclyde Ross Duncan ● PrakashFest ● Oxford 2014 2004 The 1st occasional Bellairs workshop on semantic techniques in quantum computing ” “ Ross Duncan ● PrakashFest ● Oxford 2014 Ross Duncan ● P