A DIAGRAMMATIC CALCULUS OF FERMIONIC QUANTUM CIRCUITS. - DE FELICE, GIOVANNI; HADZIHASANOVIC, AMAR; NG, KANG FENG (Logical Methods in Computer Science (LMCS), 2019)