On linear logic and quantum circuit diagrams:

linear logic, linear type theory

dependent linear type theory

quantum computation