3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Jacques Garrigue, Takafumi Saikawa
We propose a type-theoretic framework for describing and proving properties of quantum computations, in particular those presented as quantum circuits. Our proposal is based on an…