Return to Article Details Quantum Algorithm for Multiplicative Linear Logic Download Download PDF