@@ -712,18 +712,6 @@ First, we will identify re-writing processes among the automated theorem proving
This will allow us to identify candidate subroutines that require nonclassical resources to be carried out.
Such subroutines then will be used to develop procedures for characterising if a \zx-represented algorithm demonstrates speed-up.
\KILL{\begin{color}{red!70!black}
\texttt{[Delete the following once it has been properly incorporated into the WP description in \S3.2]}
Deliverables:
\begin{itemize}
\item M12: Preliminary assessment of the comparative study of the axiomatizations of paradigms of quantum computation.
\item M15: \zx representation and explanation of the result that promotes magic states as a resource of quantum computation in the state injection paradigm.
\item M18: Preliminary assessment of nonclassicality of re-writing processes.
\item M24: A \zx formulation of contextuality (Kochen--Specker and/or generalised Spekken's type).