Typed Compositional Quantum Computation with Lenses.

Jacques Garrigue, Takafumi Saikawa

Browse the full ITP paper archive.