6 citations · 14 across the 11 of their papers we have counts for
1 paper · 1 filter
Takeshi Tsukada, Kazuyuki Asada
Selinger gave a superoperator model of a first-order quantum programming language and proved that it is fully definable and hence fully abstract. This paper proposes an extension o…